%0 Conference Proceedings
%F damm94
%A Damm, Flemming
%T Subtyping with Union Types, Intersection Types and Recursive Types
%B Proc. Theoretical Aspects of Computer Science (TACS), Sendai, Japan
%V 789
%P 687-706
%S Lecture Notes in Computer Science
%I Springer-Verlag
%8 April
%D 1994
%K rectype