Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller. Modular type classes. In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Pages 63-70, New York, NY, USA, 2007.
[ Parametricity ]
D. Dreyer
R. Harper
M. Chakravarty
Gabriele Keller
@InProceedings{dhck2007,
Author = {Dreyer, Derek and Harper, Robert and Chakravarty, Manuel M. T. and Keller, Gabriele},
Title = {Modular type classes},
BookTitle = {POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
Pages = {63--70},
Publisher = {ACM Press},
Address = {New York, NY, USA},
Year = {2007}
}
Get EndNote Reference (.ref)