Compiling without continuations L Maurer, P Downen, ZM Ariola, S Peyton Jones Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 51 | 2017 |
The duality of construction P Downen, ZM Ariola Programming Languages and Systems: 23rd European Symposium on Programming …, 2014 | 32 | 2014 |
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 | 32 | 2012 |
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 | 28 | 2016 |
A tutorial on computational classical logic and the sequent calculus P Downen, ZM Ariola Journal of Functional Programming 28, e3, 2018 | 18 | 2018 |
Structures for structural recursion P Downen, P Johnson-Freyd, ZM Ariola ACM SIGPLAN Notices 50 (9), 127-139, 2015 | 16 | 2015 |
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 | 14 | 2018 |
Sequent Calculus: A Logic and a Language for Computation and Duality P Downen University of Oregon, 2017 | 14 | 2017 |
Codata in action P Downen, Z Sullivan, ZM Ariola, S Peyton Jones European Symposium on Programming, 119-146, 2019 | 13 | 2019 |
Delimited control and computational effects P Downen, ZM Ariola Journal of functional programming 24 (1), 1-55, 2014 | 11 | 2014 |
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 | 10 | 2014 |
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 | 9 | 2020 |
A systematic approach to delimited control with multiple prompts P Downen, ZM Ariola Programming Languages and Systems: 21st European Symposium on Programming …, 2012 | 9 | 2012 |
Continuations, processes, and sharing P Downen, L Maurer, ZM Ariola, D Varacca Proceedings of the 16th International Symposium on Principles and Practice …, 2014 | 7 | 2014 |
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 | 6 | 2020 |
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 | 6 | 2019 |
Call-by-name extensionality and confluence P Johnson-Freyd, P Downen, ZM Ariola Journal of functional programming 27, e12, 2017 | 5 | 2017 |
First class call stacks: Exploring head reduction P Johnson-Freyd, P Downen, ZM Ariola arXiv preprint arXiv:1606.06378, 2016 | 5 | 2016 |
Compiling with classical connectives P Downen, ZM Ariola Logical methods in computer science 16, 2020 | 4 | 2020 |
The duality of classical intersection and union types P Downen, ZM Ariola, S Ghilezan Fundamenta Informaticae 170 (1-3), 39-92, 2019 | 4 | 2019 |