Authors: Gapeyev, V Levin, MY Pierce, BC

Citation: V. Gapeyev et al., Recursive subtyping revealed - Functional pearl, ACM SIGPL N, 35(9), 2000, pp. 221-231