ohori92

A. Ohori. A Compilation Method for ML-Style Polymorphic Record Calculi. In Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Albuquerque, New Mexico, Pages 154-165, January 1992.

Keyword

[ Parametricity ]

Contact

Atsushi Ohori

BibTex Reference

@InProceedings{ohori92,
   Author = {Ohori, A.},
   Title = {A Compilation Method for ML-Style Polymorphic Record Calculi},
   BookTitle = {Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Albuquerque, New Mexico},
   Pages = {154--165},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)