Associated types with class (2005)

by M M T Chakravarty, G Keller, S Peyton Jones, S Marlow
Venue:In Proceedings of the 32nd ACM SIGPLANSIGACT symposium on Principles of Programming Languages, POPL ’05