Fingerprint
Dive into the research topics of 'Enriching an effect calculus with linear types'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Enriching an effect calculus with linear types
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review