Enriching an effect calculus with linear types

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Enriching an effect calculus with linear types'. Together they form a unique fingerprint.

Computer Science

Mathematics

Keyphrases