Manuel M. T. Chakravarty Gabriele Keller Simon L. Peyton Jones Simon Marlow Associated types with class. 1-13 2005 conf/popl/2005 POPL http://doi.acm.org/10.1145/1040305.1040306 db/conf/popl/popl2005.html#ChakravartyKJM05