List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A contextual formalization of structural coinduction Journal of Functional Programming | 2025-08-07 | Paper |
| Codata in action Programming Languages and Systems | 2023-11-24 | Paper |
| Uniform strong normalization for multi-discipline calculi Rewriting Logic and Its Applications | 2023-07-28 | Paper |
| Classical (co)recursion: Mechanics Journal of Functional Programming | 2023-07-14 | Paper |
| Duality in Action (Invited Talk). | 2023-06-23 | Paper |
| Beyond polarity: towards a multi-discipline intermediate language with sharing | 2022-05-28 | Paper |
| Compiling with classical connectives | 2020-09-04 | Paper |
| Compiling with classical connectives (available as arXiv preprint) | 2020-09-04 | Paper |
| Abstracting models of strong normalization for classical calculi Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
| The duality of classical intersection and union types Fundamenta Informaticae | 2020-01-24 | Paper |
| Call-by-name extensionality and confluence Journal of Functional Programming | 2017-10-23 | Paper |
| Sequent calculus as a compiler intermediate language Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Structures for structural recursion Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Compositional semantics for composable continuations: from abortive to delimited control Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Delimited control and computational effects Journal of Functional Programming | 2014-08-14 | Paper |
| The Duality of Construction Programming Languages and Systems | 2014-04-16 | Paper |
| Classical call-by-need sequent calculi: the unity of semantic artifacts Functional and Logic Programming | 2012-07-20 | Paper |
| A systematic approach to delimited control with multiple prompts Programming Languages and Systems | 2012-06-22 | Paper |
Research outcomes over time
This page was built for person: Paul Downen
