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.
[ Dyntyp ] [ Coinduction ]
D. Kozen
J. Palsberg
M.I. Schwartzbach
@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}
}
Get EndNote Reference (.ref)