IDEAL MODEL FOR RECURSIVE POLYMORPHIC TYPES.

David MacQueen, Gordon Plotkin, Ravi Sethi

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

67 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 - 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