Konstantin L\"aufer. Type classes with existential types. Journal of Functional Programming (JFP), 6(3):485-517, May 1996.
[ Parametricity ]
@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}
}
Get EndNote Reference (.ref)