Recursive subtyping revealed (0)

by V Gapeyev, M Levin, B Pierce
Venue:J. Func. Progr