Jeff Egger

According to our database, Jeff Egger authored at least 4 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

The enriched effect calculus: syntax and semantics.

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

J. Log. Comput., 2014

2012

Linear-use CPS translations in the Enriched Effect Calculus

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

Log. Methods Comput. Sci., 2012

2010

Linearly-Used Continuations in the Enriched Effect Calculus.

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

Enriching an Effect Calculus with Linear Types.

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009