IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.

David MacQueen, Gordon Plotkin, Ravi Sethi

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

61 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, 9780897911252
DOIs
StatePublished - Jan 1 1984

Publication series

NameConference Record of the Annual ACM Symposium on Principles of Programming Languages
ISSN (Print)0730-8566

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). (Conference Record of the Annual ACM Symposium on Principles of Programming Languages). ACM. https://doi.org/10.1145/800017.800528