Robert Harper, Mark Lillibridge. Explicit Polymorphism and CPS Conversion. In Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Pages 206-219, January 1993.
[ Parametricity ]
@InProceedings{hali93,
Author = {Harper, Robert and Lillibridge, Mark},
Title = {Explicit Polymorphism and {CPS} Conversion},
BookTitle = {Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages},
Pages = {206--219},
Publisher = {ACM Press},
Month = {January},
Year = {1993}
}
Get EndNote Reference (.ref)