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

kps95

Dexter Kozen, Jens Palsberg, Michael Schwartzbach. Efficient Recursive Subtyping. Mathematical Structures in Computer Science (MSCS), Conference version presented at the 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL), 1993, 5(1), 1995.

Keywords

[ Dyntyp ] [ Coinduction ]

Contact

D. Kozen
J. Palsberg
M.I. Schwartzbach

BibTex Reference

@article{kps95,
   Author = {Kozen, Dexter and Palsberg, Jens and Schwartzbach, Michael},
   Title = {Efficient Recursive Subtyping},
   Journal = {Mathematical Structures in Computer Science (MSCS)},
   Volume = {5},
   Number = {1},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)