Statistics
Publications
4
Citations
77
H-Index
4
Active since
2016
Affiliations
Paul Downen is an author at University of Oregon specializing in programming languages, type systems, and computing.
Publications per year
2016–2020
4
4
Compiling without continuations
Luke Maurer, Paul Downen, Zena M. Ariola et al. · 2017 · 35 citations
Sequent calculus as a compiler intermediate language
Paul Downen, Luke Maurer, Zena M. Ariola et al. · 2016 · 17 citations
Paul Downen, Zena M. Ariola, Simon Peyton Jones et al. · Proceedings of the ACM on Programming Languages · 2020 · 10 citations · Full text
1–4 of 4