An ideal model for recursive polymorphic types

David MacQueen, Gordon Plotkin, Ravi Sethi

Research output: Contribution to journalArticlepeer-review

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

ASJC Scopus subject areas

  • Engineering(all)

Cite this