IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.

David MacQueen, Gordon Plotkin, Ravi Sethi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

62 Scopus citations
Original languageEnglish (US)
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
PublisherACM
Pages165-174
Number of pages10
ISBN (Print)0897911253
Publication statusPublished - 1984
Externally publishedYes

ASJC Scopus subject areas

  • Software

Cite this

MacQueen, D., Plotkin, G., & Sethi, R. (1984). IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (pp. 165-174). ACM.