PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism.

Kim B. Bruce, John C. Mitchell

Browse the full POPL paper archive.