%0 Journal Article 
%F mps86
%A MacQueen, D.
%A Plotkin, G.
%A Sethi, R.
%T An Ideal Model for Recursive Polymorphic Types
%J Information and Control
%V 71
%D 1986
%K rectype