Associated types with class. (2005)

by M M T Chakravarty, G Keller, S L P Jones, S Marlow
Venue:In POPL. ACM,