• Sign in
  • Sign up
conf.researchr.org / Paul Downen
  • ETAPS 2019 profile
  • ICFP 2016 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2021 profile

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

Share
xTue 26 Jan 07:32
using conf.researchr.org (v1.40.2)
Support page
Sign Up