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

Jaakko Jrvi, Jeremiah Willcock, Andrew Lumsdaine

Browse the full OOPSLA paper archive.