An ideal model for recursive polymorphic types

David MacQueen, Gordon Plotkin, Ravi Sethi

Research output: Contribution to journalArticle

100 Citations (Scopus)
Original languageEnglish (US)
Pages (from-to)95-130
Number of pages36
JournalInformation and control
Volume71
Issue number1-2
DOIs
StatePublished - 1986
Externally publishedYes

Fingerprint

Computation theory

ASJC Scopus subject areas

  • Engineering(all)

Cite this

An ideal model for recursive polymorphic types. / MacQueen, David; Plotkin, Gordon; Sethi, Ravi.

In: Information and control, Vol. 71, No. 1-2, 1986, p. 95-130.

Research output: Contribution to journalArticle

MacQueen, David ; Plotkin, Gordon ; Sethi, Ravi. / An ideal model for recursive polymorphic types. In: Information and control. 1986 ; Vol. 71, No. 1-2. pp. 95-130.
@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 Computation",
issn = "0890-5401",
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

VL - 71

SP - 95

EP - 130

JO - Information and Computation

JF - Information and Computation

SN - 0890-5401

IS - 1-2

ER -