leroy93

Xavier Leroy. Polymorphism by Name for References and Continuations. In Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Pages 220-231, January 1993.

Keyword

[ Parametricity ]

Contact

Xavier Leroy

BibTex Reference

@InProceedings{leroy93,
   Author = {Leroy, Xavier},
   Title = {Polymorphism by Name for References and Continuations},
   BookTitle = {Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages},
   Pages = {220--231},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)