laufer96

Konstantin L\"aufer. Type classes with existential types. Journal of Functional Programming (JFP), 6(3):485-517, May 1996.

Keyword

[ Parametricity ]

Contact

Konstantin L\"aufer

BibTex Reference

@article{laufer96,
   Author = {L\"aufer, Konstantin},
   Title = {Type classes with existential types},
   Journal = {Journal of Functional Programming (JFP)},
   Volume = {6},
   Number = {3},
   Pages = {485--517},
   Month = {May},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)