Associated types and constraint propagation for mainstream object-oriented generics.

Jaakko Järvi Jeremiah Willcock Andrew Lumsdaine Associated types and constraint propagation for mainstream object-oriented generics. 1-19 2005 conf/oopsla/2005 OOPSLA http://doi.acm.org/10.1145/1094811.1094813 db/conf/oopsla/oopsla2005.html#JarviWL05