%0 Conference Proceedings
%F glp2000
%A Gapeyev, Vladimir
%A Levin, Michael Y.
%A Pierce, Benjamin C.
%T Recursive subtyping revealed: (functional pearl)
%B ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
%P 221-231
%I ACM
%C New York, NY, USA
%U http://doi.acm.org/10.1145/351240.351261
%D 2000
%K rectype