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
512017
The duality of construction
P Downen, ZM Ariola
Programming Languages and Systems: 23rd European Symposium on Programming …, 2014
322014
Classical call-by-need sequent calculi: The unity of semantic artifacts
ZM Ariola, P Downen, H Herbelin, K Nakata, A Saurin
Functional and Logic Programming: 11th International Symposium, FLOPS 2012 …, 2012
322012
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
282016
A tutorial on computational classical logic and the sequent calculus
P Downen, ZM Ariola
Journal of Functional Programming 28, e3, 2018
182018
Structures for structural recursion
P Downen, P Johnson-Freyd, ZM Ariola
ACM SIGPLAN Notices 50 (9), 127-139, 2015
162015
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
142018
Sequent Calculus: A Logic and a Language for Computation and Duality
P Downen
University of Oregon, 2017
142017
Codata in action
P Downen, Z Sullivan, ZM Ariola, S Peyton Jones
European Symposium on Programming, 119-146, 2019
132019
Delimited control and computational effects
P Downen, ZM Ariola
Journal of functional programming 24 (1), 1-55, 2014
112014
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
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
92020
A systematic approach to delimited control with multiple prompts
P Downen, ZM Ariola
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
92012
Continuations, processes, and sharing
P Downen, L Maurer, ZM Ariola, D Varacca
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
72014
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, e12, 2017
52017
First class call stacks: Exploring head reduction
P Johnson-Freyd, P Downen, ZM Ariola
arXiv preprint arXiv:1606.06378, 2016
52016
Compiling with classical connectives
P Downen, ZM Ariola
Logical methods in computer science 16, 2020
42020
The duality of classical intersection and union types
P Downen, ZM Ariola, S Ghilezan
Fundamenta Informaticae 170 (1-3), 39-92, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20