Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=129255
Copy and paste this citation
VLADIMIR GAPEYEV,
MICHAEL Y. LEVIN
and BENJAMIN C. PIERCE
(2002).
Recursive subtyping revealed . Journal of Functional Programming, 12
,
pp 511-548
doi:10.1017/S0956796802004318