Jeff Egger

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Relational Databases

Machine Translation

Top Venues

J. Log. Comput.

Log. Methods Comput. Sci.

Publications

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
The enriched effect calculus: syntax and semantics. J. Log. Comput. 24 (3) (2014)
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
Linear-use CPS translations in the Enriched Effect Calculus Log. Methods Comput. Sci. 8 (4) (2012)
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
Linearly-Used Continuations in the Enriched Effect Calculus. FoSSaCS (2010)
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
Enriching an Effect Calculus with Linear Types. CSL (2009)