A Polymorphic Record Calculus and Its Compilation

Research output: Contribution to journalArticlepeer-review

66 Citations (Scopus)
Original languageEnglish
Pages (from-to)844-895
Number of pages52
JournalACM Transactions on Programming Languages and Systems (TOPLAS)
Volume17
Issue number6
DOIs
Publication statusPublished - 1995 Nov 30
Externally publishedYes

ASJC Scopus subject areas

  • Software

Cite this