Per models of subtyping, recursive types and higher-order polymorphism (1992)

by K B Bruce, J C Mitchell
Venue:In Proc. of POPL ’92