An ideal model for recursive polymorphic types

David MacQueen; Gordon Plotkin; Ravi Sethi

doi:10.1016/S0019-9958(86)80019-5

An ideal model for recursive polymorphic types

David MacQueen, Gordon Plotkin, Ravi Sethi

Computer Science

Research output: Contribution to journal › Article › peer-review

109 Scopus citations

Original language	English (US)
Pages (from-to)	95-130
Number of pages	36
Journal	Information and Control
Volume	71
Issue number	1-2
DOIs	https://doi.org/10.1016/S0019-9958(86)80019-5
State	Published - 1986

ASJC Scopus subject areas

General Engineering

Access to Document

10.1016/S0019-9958(86)80019-5

Cite this

@article{b82e6ef522e84a83bedf9d176ef76d78,

title = "An ideal model for recursive polymorphic types",

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

year = "1986",

doi = "10.1016/S0019-9958(86)80019-5",

language = "English (US)",

volume = "71",

pages = "95--130",

journal = "Information and Control",

issn = "0019-9958",

publisher = "Elsevier Inc.",

number = "1-2",

}

TY - JOUR

T1 - An ideal model for recursive polymorphic types

AU - MacQueen, David

AU - Plotkin, Gordon

AU - Sethi, Ravi

PY - 1986

Y1 - 1986

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

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

U2 - 10.1016/S0019-9958(86)80019-5

DO - 10.1016/S0019-9958(86)80019-5

M3 - Article

AN - SCOPUS:0022793651

SN - 0019-9958

VL - 71

SP - 95

EP - 130

JO - Information and Control

JF - Information and Control

IS - 1-2

ER -

An ideal model for recursive polymorphic types

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this