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

113 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 = "Academic Press 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 - https://www.scopus.com/pages/publications/0022793651

UR - https://www.scopus.com/pages/publications/0022793651#tab=citedBy

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