Linearly-Used Continuations in the Enriched Effect Calculus.

Jeff Egger, Rasmus Ejlers Mgelberg, Alex Simpson

Browse the full FOSSACS paper archive.