conf.researchr.org / Paul Downen

Registered user since Mon 27 Jun 2016

Name: Paul Downen

Affiliation: University of Oregon, USA

Contributions

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