%0 Journal Article 
%F glp2002
%A Gapeyev, Vladimir
%A Levin, Michael Y.
%A Pierce, Benjamin C.
%T Recursive subtyping revealed
%J J. Funct. Program
%V 12
%N 6
%P 511-548
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/gapeyev2002.pdf
%D 2002
%K rectype