Derek Dreyer Robert Harper Manuel M. T. Chakravarty Gabriele Keller Modular type classes. 63-70 2007 conf/popl/2007 POPL http://doi.acm.org/10.1145/1190216.1190229 db/conf/popl/popl2007.html#DreyerHCK07