Modular type classes (2007)

by D DREYER, R HARPER, M M T CHAKRAVARTY
Venue:In Principles of Programming Languages (POPL