Follow
Paul Downen
Title
Cited by
Cited by
Year
Compiling without continuations
L Maurer, P Downen, ZM Ariola, S Peyton Jones
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
352017
Classical call-by-need sequent calculi: The unity of semantic artifacts
ZM Ariola, P Downen, H Herbelin, K Nakata, A Saurin
International Symposium on Functional and Logic Programming, 32-46, 2012
282012
The duality of construction
P Downen, ZM Ariola
European Symposium on Programming Languages and Systems, 249-269, 2014
262014
Sequent calculus as a compiler intermediate language
P Downen, L Maurer, ZM Ariola, S Peyton Jones
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
232016
Structures for structural recursion
P Downen, P Johnson-Freyd, ZM Ariola
ACM SIGPLAN Notices 50 (9), 127-139, 2015
152015
A tutorial on computational classical logic and the sequent calculus
P Downen, ZM Ariola
Journal of Functional Programming 28, 2018
132018
Beyond polarity: Towards a multi-discipline intermediate language with sharing
P Downen, ZM Ariola
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018
102018
Compositional semantics for composable continuations: From abortive to delimited control
P Downen, ZM Ariola
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
102014
A systematic approach to delimited control with multiple prompts
P Downen, ZM Ariola
European Symposium on Programming, 234-253, 2012
102012
Sequent Calculus: A Logic and a Language for Computation and Duality
P Downen
University of Oregon, 2017
92017
Codata in action
P Downen, Z Sullivan, ZM Ariola, S Peyton Jones
European Symposium on Programming, 119-146, 2019
82019
Continuations, processes, and sharing
P Downen, L Maurer, ZM Ariola, D Varacca
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
82014
Delimited control and computational effects
P Downen, ZM Ariola
Journal of functional programming 24 (1), 1-55, 2014
82014
Kinds are calling conventions
P Downen, ZM Ariola, S Peyton Jones, RA Eisenberg
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020
62020
Making a faster Curry with extensional types
P Downen, Z Sullivan, ZM Ariola, S Peyton Jones
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 58-70, 2019
62019
Call-by-name extensionality and confluence
P Johnson-Freyd, P Downen, ZM Ariola
Journal of functional programming 27, 2017
52017
Abstracting models of strong normalization for classical calculi
P Downen, P Johnson-Freyd, ZM Ariola
Journal of Logical and Algebraic Methods in Programming 111, 100512, 2020
42020
First class call stacks: Exploring head reduction
P Johnson-Freyd, P Downen, ZM Ariola
arXiv preprint arXiv:1606.06378, 2016
42016
The duality of classical intersection and union types
P Downen, ZM Ariola, S Ghilezan
Fundamenta Informaticae 170 (1-3), 39-92, 2019
32019
Compiling with classical connectives
P Downen, ZM Ariola
arXiv preprint arXiv:1907.13227, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20