Cited By
View all- Downen PAriola Z(2014)Compositional semantics for composable continuationsACM SIGPLAN Notices10.1145/2692915.262814749:9(109-122)Online publication date: 19-Aug-2014
- Tanaka AKameyama Y(2012)A call-by-name CPS hierarchyProceedings of the 11th international conference on Functional and Logic Programming10.1007/978-3-642-29822-6_21(260-274)Online publication date: 23-May-2012
- Ostermann KBinder DSkupin ISüberkrüb TDownen P(2022)Introduction and elimination, left and rightProceedings of the ACM on Programming Languages10.1145/35476376:ICFP(438-465)Online publication date: 31-Aug-2022
- Show More Cited By