Kim B. Bruce, John C. Mitchell
PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism
POPL, 1992.
@inproceedings{POPL-1992-BruceM,
author = "Kim B. Bruce and John C. Mitchell",
booktitle = "{Conference Record of the 19th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/143165.143230",
editor = "Ravi Sethi",
isbn = "0-89791-453-8",
pages = "316--327",
publisher = "{ACM Press}",
title = "{PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism}",
year = 1992,
}