Jump to : Keyword | Contact | BibTex reference | EndNote reference |

dhck2007

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.

Keyword

[ Parametricity ]

Contact

D. Dreyer
R. Harper
M. Chakravarty
Gabriele Keller

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)