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