×

zbMATH — the first resource for mathematics

Downen, Paul

Compute Distance To:
Author ID: downen.paul Recent zbMATH articles by "Downen, Paul"
Published as: Downen, Paul
External Links: ORCID
Documents Indexed: 11 Publications since 2012

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 13 times in 7 Documents Cited by Year
The duality of construction. Zbl 1405.68079
Downen, Paul; Ariola, Zena M.
3
2014
Sequent calculus as a compiler intermediate language. Zbl 1360.68326
Downen, Paul; Maurer, Luke; Ariola, Zena M.; Peyton Jones, Simon
2
2016
Compositional semantics for composable continuations: from abortive to delimited control. Zbl 1345.68046
Downen, Paul; Ariola, Zena M.
2
2014
Delimited control and computational effects. Zbl 1297.68048
Downen, Paul; Ariola, Zena M.
2
2014
A systematic approach to delimited control with multiple prompts. Zbl 1352.68041
Downen, Paul; Ariola, Zena M.
2
2012
Structures for structural recursion. Zbl 1360.68361
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M.
1
2015
Classical call-by-need sequent calculi: the unity of semantic artifacts. Zbl 1354.68043
Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko; Saurin, Alexis
1
2012
Sequent calculus as a compiler intermediate language. Zbl 1360.68326
Downen, Paul; Maurer, Luke; Ariola, Zena M.; Peyton Jones, Simon
2
2016
Structures for structural recursion. Zbl 1360.68361
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M.
1
2015
The duality of construction. Zbl 1405.68079
Downen, Paul; Ariola, Zena M.
3
2014
Compositional semantics for composable continuations: from abortive to delimited control. Zbl 1345.68046
Downen, Paul; Ariola, Zena M.
2
2014
Delimited control and computational effects. Zbl 1297.68048
Downen, Paul; Ariola, Zena M.
2
2014
A systematic approach to delimited control with multiple prompts. Zbl 1352.68041
Downen, Paul; Ariola, Zena M.
2
2012
Classical call-by-need sequent calculi: the unity of semantic artifacts. Zbl 1354.68043
Ariola, Zena M.; Downen, Paul; Herbelin, Hugo; Nakata, Keiko; Saurin, Alexis
1
2012

Citations by Year