Associated type synonyms (2005)

by M M T Chakravarty, G Keller, S Peyton Jones
Venue:In Proc. of ICFP ’05