Manuel M. T. Chakravarty Gabriele Keller Simon L. Peyton Jones Associated type synonyms. 241-253 2005 conf/icfp/2005 ICFP http://doi.acm.org/10.1145/1086365.1086397 db/conf/icfp/icfp2005.html#ChakravartyKJ05