%0 Conference Proceedings
%F kps93
%A Kozen, Dexter
%A Palsberg, Jens
%A Schwartzbach, Michael
%T Efficient Recursive Subtyping
%B Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages
%P 419-428
%I ACM Press
%8 January
%D 1993
%K dyntyp
%K  coinduction