IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.

David MacQueen; Gordon Plotkin; Ravi Sethi

doi:10.1145/800017.800528

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, 9780897911252
DOIs	https://doi.org/10.1145/800017.800528
State	Published - Jan 1 1984
Externally published	Yes

Publication series

Name	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)	0730-8566

ASJC Scopus subject areas

Software

Access to Document

10.1145/800017.800528

Cite this

IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES. / MacQueen, David; Plotkin, Gordon; Sethi, Ravi.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages. ACM, 1984. p. 165-174 (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

@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",

}

TY - GEN

T1 - IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.

AU - MacQueen, David

AU - Plotkin, Gordon

AU - Sethi, Ravi

PY - 1984/1/1

Y1 - 1984/1/1

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

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

U2 - 10.1145/800017.800528

DO - 10.1145/800017.800528

M3 - Conference contribution

AN - SCOPUS:0021230898

SN - 0897911253

SN - 9780897911252

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

SP - 165

EP - 174

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

PB - ACM

ER -

IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this