Travelled to:1 × Canada
1 × Estonia
1 × France
1 × Japan
1 × Sweden
1 × United Kingdom
Collaborated with:Z.M.Ariola L.Maurer Z.Sullivan S.P.Jones P.Johnson-Freyd D.Varacca S.L.P.Jones H.Herbelin K.Nakata A.Saurin
Talks about:continu (3) structur (2) delimit (2) control (2) semant (2) share (2) intermedi (1) extension (1) disciplin (1) construct (1)
Person: Paul Downen
DBLP: Downen:Paul
Contributed to:
2015
20142014
20142012
20122019
2018
2019
2017Wrote 10 papers:
- ICFP-2015-DownenJA #recursion
- Structures for structural recursion (PD, PJF, ZMA), pp. 127–139.
- ESOP-2014-DownenA
- The Duality of Construction (PD, ZMA), pp. 249–269.
- ICFP-2014-DownenA #composition #continuation #semantics
- Compositional semantics for composable continuations: from abortive to delimited control (PD, ZMA), pp. 109–122.
- PPDP-2014-DownenMAV #continuation #process
- Continuations, Processes, and Sharing (PD, LM, ZMA, DV), pp. 69–80.
- ESOP-2012-DownenA #approach #multi
- A Systematic Approach to Delimited Control with Multiple Prompts (PD, ZMA), pp. 234–253.
- FLOPS-2012-AriolaDHNS #calculus #call-by #semantics
- Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts (ZMA, PD, HH, KN, AS), pp. 32–46.
- ESOP-2019-DownenSAJ
- Codata in Action (PD, ZS, ZMA, SPJ), pp. 119–146.
- CSL-2018-DownenA #multi #towards
- Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing (PD, ZMA), p. 23.
- Haskell-2019-DownenSAJ #performance
- Making a faster Curry with extensional types (PD, ZS, ZMA, SPJ), pp. 58–70.
- PLDI-2017-MaurerDAJ #compilation #continuation
- Compiling without continuations (LM, PD, ZMA, SLPJ), pp. 482–494.