BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Downen:Paul

Contributed to:

ICFP 20152015
ESOP 20142014
ICFP 20142014
PPDP 20142014
ESOP 20122012
FLOPS 20122012
ESOP 20192019
CSL 20182018
Haskell 20192019
PLDI 20172017

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.