Associated type synonyms (2005)

by Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones
Venue:In Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming