@InProceedings{dreyer+:mtc, author = {Derek Dreyer and Robert Harper and Manuel M. T. Chakravarty}, title = {Modular Type Classes}, booktitle = {Proc 24th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages}, pages = {?--?}, year = 2007, address = {Nice, France}, month = {January}, note = {(To appear)}}