@inproceedings{OOPSLA-2005-JarviWL,
	author        = "Jaakko Järvi and Jeremiah Willcock and Andrew Lumsdaine",
	booktitle     = "{Proceedings of the 20th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/1094811.1094813",
	editor        = "Ralph E. Johnson and Richard P. Gabriel",
	isbn          = "1-59593-031-0",
	pages         = "1--19",
	publisher     = "{ACM}",
	title         = "{Associated types and constraint propagation for mainstream object-oriented generics}",
	year          = 2005,
}