Enriching an Effect Calculus with Linear Types.

Jeff Egger, Rasmus Ejlers Mgelberg, Alex Simpson

Browse the full CSL paper archive.