Edit Profile Downen, Paul Compute Distance To: Compute Author ID: downen.paul Published as: Downen, Paul External Links: ORCID Documents Indexed: 11 Publications since 2012 all top 5 Co-Authors 0 single-authored 11 Ariola, Zena M. 3 Johnson-Freyd, Philip 1 Ghilezan, Silvia 1 Herbelin, Hugo 1 Jones, Simon Peyton 1 Maurer, Luke 1 Nakata, Keiko 1 Saurin, Alexis Serials 2 Journal of Functional Programming 1 Fundamenta Informaticae 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 11 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 7 Publications have been cited 13 times in 7 Documents Cited by ▼ Year ▼ The duality of construction. Zbl 1405.68079Downen, Paul; Ariola, Zena M. 3 2014 Sequent calculus as a compiler intermediate language. Zbl 1360.68326Downen, Paul; Maurer, Luke; Ariola, Zena M.; Peyton Jones, Simon 2 2016 Compositional semantics for composable continuations: from abortive to delimited control. Zbl 1345.68046Downen, Paul; Ariola, Zena M. 2 2014 Delimited control and computational effects. Zbl 1297.68048Downen, Paul; Ariola, Zena M. 2 2014 A systematic approach to delimited control with multiple prompts. Zbl 1352.68041Downen, Paul; Ariola, Zena M. 2 2012 Structures for structural recursion. Zbl 1360.68361Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. 1 2015 Classical call-by-need sequent calculi: the unity of semantic artifacts. Zbl 1354.68043Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko; Saurin, Alexis 1 2012 Sequent calculus as a compiler intermediate language. Zbl 1360.68326Downen, Paul; Maurer, Luke; Ariola, Zena M.; Peyton Jones, Simon 2 2016 Structures for structural recursion. Zbl 1360.68361Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M. 1 2015 The duality of construction. Zbl 1405.68079Downen, Paul; Ariola, Zena M. 3 2014 Compositional semantics for composable continuations: from abortive to delimited control. Zbl 1345.68046Downen, Paul; Ariola, Zena M. 2 2014 Delimited control and computational effects. Zbl 1297.68048Downen, Paul; Ariola, Zena M. 2 2014 A systematic approach to delimited control with multiple prompts. Zbl 1352.68041Downen, Paul; Ariola, Zena M. 2 2012 Classical call-by-need sequent calculi: the unity of semantic artifacts. Zbl 1354.68043Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko; Saurin, Alexis 1 2012 all cited Publications top 5 cited Publications all top 5 Cited by 9 Authors 3 Ariola, Zena M. 3 Downen, Paul 2 Biernacki, Dariusz 2 Johnson-Freyd, Philip 2 Polesiuk, Piotr 1 Lenglet, Sergueï 1 Miquey, Étienne 1 Pédrot, Pierre-Marie 1 Saurin, Alexis Cited in 3 Serials 3 Logical Methods in Computer Science 1 Journal of Functional Programming 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 7 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Citations by Year