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

Andrew W. Appel, Paul André Melliès, Christopher D. Richards, Jérme Vouillon

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

64 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.

Computer Science

Keyphrases