David B. MacQueen, Gordon D. Plotkin, Ravi Sethi
An Ideal Model for Recursive Polymorphic Types
POPL, 1984.
@inproceedings{POPL-1984-MacQueenPS,
author = "David B. MacQueen and Gordon D. Plotkin and Ravi Sethi",
booktitle = "{Conference Record of the 11th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/800017.800528",
editor = "Ken Kennedy and Mary S. Van Deusen and Larry Landweber",
isbn = "0-89791-125-3",
pages = "165--174",
publisher = "{ACM Press}",
title = "{An Ideal Model for Recursive Polymorphic Types}",
year = 1984,
}