A very modal model of a modern, major, general type system

  • Andrew W. Appel
  • , Paul André Melliès
  • , Christopher D. Richards
  • , Jérôme Vouillon

Research output: Contribution to journal › Article › peer-review

54 Scopus citations

Fingerprint

Dive into the research topics of 'A very modal model of a modern, major, general type system'. Together they form a unique fingerprint.

Keyphrases

Computer Science