Jump to : Keyword | Contact | BibTex reference | EndNote reference |

brmi92

K. Bruce, J. Mitchell. PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. In Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Albuquerque, New Mexico, Pages 316-327, January 1992.

Keyword

[ Parametricity ]

Contact

K. Bruce
J.C. Mitchell

BibTex Reference

@InProceedings{brmi92,
   Author = {Bruce, K. and Mitchell, J.},
   Title = {{PER} Models of Subtyping, Recursive Types and Higher-Order Polymorphism},
   BookTitle = {Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Albuquerque, New Mexico},
   Pages = {316--327},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)