Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine. Associated types and constraint propagation for mainstream object-oriented generics. In Ralph E. Johnson, Richard P. Gabriel, editors, Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA. pages 1-19, ACM, 2005. [doi]
Abstract is missing.