mairson93

Harry Mairson. A Constructive Logic of Multiple Subtyping. In Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Pages 313-324, January 1993.

Keyword

[ Typetheory ]

Contact

H.G. Mairson

BibTex Reference

@InProceedings{mairson93,
   Author = {Mairson, Harry},
   Title = {A Constructive Logic of Multiple Subtyping},
   BookTitle = {Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages},
   Pages = {313--324},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)