Travelled to:1 × Cyprus
1 × Portugal
Collaborated with:R.E.Møgelberg A.Simpson
Talks about:calculus (2) linear (2) enrich (2) effect (2) continu (1) type (1) use (1)
Person: Jeff Egger
DBLP: Egger:Jeff
Contributed to:
2010
2009Wrote 2 papers:
- FoSSaCS-2010-EggerMS #calculus #continuation
- Linearly-Used Continuations in the Enriched Effect Calculus (JE, REM, AS), pp. 18–32.
- CSL-2009-EggerMS #calculus #linear
- Enriching an Effect Calculus with Linear Types (JE, REM, AS), pp. 240–254.