An ideal model for recursive polymorphic types

David MacQueen, Gordon Plotkin, Ravi Sethi

Research output: Contribution to journalArticle

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

ASJC Scopus subject areas

  • Engineering(all)

Cite this