Associated type synonyms (2005)

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