Associated type synonyms (2005)

by M M T Chakravarty, G Keller, S Peyton Jones
Venue:In International Conference on Functional Programming