conf.researchr.org / Paul Downen

Registered user since Mon 27 Jun 2016

Name: Paul Downen

Affiliation: University of Oregon, USA

Contributions

PEPM 2021 Author of Strictly Capturing Non-Strict Closures within the PEPM 2021-track
HOPE 2020 Committee Member in Program Committee within the HOPE 2020-track
ICFP 2020 Author of Kinds are Calling Conventions within the ICFP Program-track
Haskell 2019 Author of Making a Faster Curry with Extensional Types within the Haskell 2019-track
ESOP 2019 Author of Codata in Action within the ESOP 2019-track
HOPE 2016 Author of Administrative normal form, continued: Sharing control in direct style within the HOPE-track
PLDI 2017 Author of Compiling without continuations within the PLDI Research Papers-track
ICFP 2016 Author of Sequent Calculus as a Compiler Intermediate Language within the Research Papers-track