IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.

David MacQueen, Gordon Plotkin, Ravi Sethi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Publisher	ACM
Pages	165-174
Number of pages	10
ISBN (Print)	0897911253
Publication status	Published - 1984
Externally published	Yes

MacQueen, D., Plotkin, G., & Sethi, R. (1984). IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (pp. 165-174). ACM.

@inproceedings{93a939af7a7943f3ad8c386afb04f12e,

title = "IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.",

author = "David MacQueen and Gordon Plotkin and Ravi Sethi",

year = "1984",

language = "English (US)",

isbn = "0897911253",

pages = "165--174",

booktitle = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

publisher = "ACM",

}

TY - GEN

T1 - IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.

AU - MacQueen, David

AU - Plotkin, Gordon

AU - Sethi, Ravi

PY - 1984

Y1 - 1984

UR - http://www.scopus.com/inward/record.url?scp=0021230898&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0021230898&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0021230898

SN - 0897911253

SP - 165

EP - 174

BT - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

PB - ACM

ER -