ma92

QingMing Ma. Parametricity as Subtyping. In Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Albuquerque, New Mexico, Pages 281-292, January 1992.

Keyword

[ Parametricity ]

Contact

QingMing Ma

BibTex Reference

@InProceedings{ma92,
   Author = {Ma, QingMing},
   Title = {Parametricity as Subtyping},
   BookTitle = {Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Albuquerque, New Mexico},
   Pages = {281--292},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)