Enriching an Effect Calculus with Linear Types. - Jeff Egger; Rasmus Ejlers Møgelberg; Alex Simpson (CSL, 2009)

Linearly-Used Continuations in the Enriched Effect Calculus. - Jeff Egger; Rasmus Ejlers Møgelberg; Alex Simpson (FoSSaCS, 2010)

Linear-use CPS translations in the Enriched Effect Calculus - Jeff Egger; Rasmus Ejlers Møgelberg; Alex Simpson (Log. Methods Comput. Sci., 2012)

The enriched effect calculus: syntax and semantics. - Jeff Egger; Rasmus Ejlers Møgelberg; Alex Simpson (J. Log. Comput., 2014)