@inproceedings{93a939af7a7943f3ad8c386afb04f12e,
title = "IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.",
author = "David MacQueen and Gordon Plotkin and Ravi Sethi",
year = "1984",
month = jan,
day = "1",
doi = "10.1145/800017.800528",
language = "English (US)",
isbn = "0897911253",
series = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
publisher = "ACM",
pages = "165--174",
booktitle = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",
}