Vladimir Gapeyev Michael Y. Levin Benjamin C. Pierce Recursive subtyping revealed: functional pearl. 221-231 2000 ICFP http://doi.acm.org/10.1145/351240.351261 db/conf/icfp/icfp2000.html#GapeyevLP00