rehof96a

Jakob Rehof. Minimal typings in atomic subtyping. In Proc.\ 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Paris, France, Pages 278-291, January 1997.

Keyword

[ Parametricity ]

Contact

Jakob Rehof

BibTex Reference

@InProceedings{rehof96a,
   Author = {Rehof, Jakob},
   Title = {Minimal typings in atomic subtyping},
   BookTitle = {Proc.\ 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programmin gLanguages (POPL), Paris, France},
   Pages = {278--291},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)