%0 Conference Proceedings
%F amca91
%A Amadio, R.
%A Cardelli, L.
%T Subtyping Recursive Types
%B Proc. 18th Annual ACM Symposium on Principles of Programming Languages (POPL), Orlando, Florida
%P 104-118
%I ACM Press
%8 January
%D 1991
%K rectype