Paul Downen

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 23

Top Topics

Datalog Programs

Action Sequences

Sequent Calculus

Update Operators

Top Venues

J. Funct. Program.

Publications

Zachary J. Sullivan, Paul Downen, Zena M. Ariola
Closure Conversion in Little Pieces. PPDP (2023)
Paul Downen, Zena M. Ariola
Classical (co)recursion: Mechanics. J. Funct. Program. 33 (2023)
Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen
Introduction and elimination, left and right. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Paul Downen, Zena M. Ariola
Duality in Action (Invited Talk). FSCD (2021)
Paul Downen, Zena M. Ariola
Classical (Co)Recursion: Programming. CoRR (2021)
Zachary J. Sullivan, Paul Downen, Zena M. Ariola
Strictly capturing non-strict closures. PEPM@POPL (2021)
Paul Downen, Zena M. Ariola
Classical (Co)Recursion: Mechanics. CoRR (2021)
Paul Downen, Zena M. Ariola
Compiling With Classical Connectives. Log. Methods Comput. Sci. 16 (3) (2020)
Paul Downen, Philip Johnson-Freyd, Zena M. Ariola
Abstracting models of strong normalization for classical calculi. J. Log. Algebraic Methods Program. 111 (2020)
Paul Downen, Zena M. Ariola
A Computational Understanding of Classical (Co)Recursion. PPDP (2020)
Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg
Kinds are calling conventions. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Paul Downen, Zena M. Ariola, Silvia Ghilezan
The Duality of Classical Intersection and Union Types. Fundam. Informaticae 170 (1-3) (2019)
Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
Codata in Action. ESOP (2019)
Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones
Making a faster Curry with extensional types. Haskell@ICFP (2019)
Paul Downen, Zena M. Ariola
Compiling With Classical Connectives. CoRR (2019)
Paul Downen, Zena M. Ariola
Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing. CSL (2018)
Paul Downen, Zena M. Ariola
A tutorial on computational classical logic and the sequent calculus. J. Funct. Program. 28 (2018)
Paul Downen, Philip Johnson-Freyd, Zena M. Ariola
Uniform Strong Normalization for Multi-discipline Calculi. WRLA@ETAPS (2018)
Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones
Compiling without continuations. PLDI (2017)
Philip Johnson-Freyd, Paul Downen, Zena M. Ariola
Call-by-name extensionality and confluence. J. Funct. Program. 27 (2017)
Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones
Sequent calculus as a compiler intermediate language. ICFP (2016)
Paul Downen, Philip Johnson-Freyd, Zena M. Ariola
Structures for structural recursion. ICFP (2015)
Philip Johnson-Freyd, Paul Downen, Zena M. Ariola
First Class Call Stacks: Exploring Head Reduction. WoC (2015)
Paul Downen, Zena M. Ariola
The Duality of Construction. ESOP (2014)
Paul Downen, Zena M. Ariola
Delimited control and computational effects. J. Funct. Program. 24 (1) (2014)
Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca
Continuations, Processes, and Sharing. PPDP (2014)
Paul Downen, Zena M. Ariola
Compositional semantics for composable continuations: from abortive to delimited control. ICFP (2014)
Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts. FLOPS (2012)
Paul Downen, Zena M. Ariola
A Systematic Approach to Delimited Control with Multiple Prompts. ESOP (2012)