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

kps93

Dexter Kozen, Jens Palsberg, Michael Schwartzbach. Efficient Recursive Subtyping. In Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Pages 419-428, January 1993.

Keywords

[ Dyntyp ] [ Coinduction ]

Contact

D. Kozen
J. Palsberg
M.I. Schwartzbach

BibTex Reference

@InProceedings{kps93,
   Author = {Kozen, Dexter and Palsberg, Jens and Schwartzbach, Michael},
   Title = {Efficient Recursive Subtyping},
   BookTitle = {Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages},
   Pages = {419--428},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)