`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:

### Wrote 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.