Follow
Casper Bach Poulsen
Casper Bach Poulsen
Verified email at tudelft.nl - Homepage
Title
Cited by
Cited by
Year
Intrinsically-Typed Definitional Interpreters for Imperative Languages
C Bach Poulsen, A Rouvoet, A Tolmach, R Krebbers, E Visser
512018
Scopes as types
H van Antwerpen, C Bach Poulsen, A Rouvoet, E Visser
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-30, 2018
482018
Intrinsically-typed definitional interpreters for linear, session-typed languages
A Rouvoet, C Bach Poulsen, R Krebbers, E Visser
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
362020
Deriving pretty-big-step semantics from small-step semantics
C Bach Poulsen, PD Mosses
Programming Languages and Systems, 270-289, 2014
232014
Compositional soundness proofs of abstract interpreters
S Keidel, C Bach Poulsen, S Erdweg
Proceedings of the ACM on Programming Languages 2 (ICFP), 72, 2018
212018
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
C Bach Poulsen, P Néron, A Tolmach, E Visser
Technical Report TUDSERG-2016-010, Delft University of Technology …, 2016
192016
Generating specialized interpreters for modular structural operational semantics
C Bach Poulsen, PD Mosses
Logic-Based Program Synthesis and Transformation, 220-236, 2013
182013
Flag-Based Big-Step Semantics
C Bach Poulsen, PD Mosses
arXiv preprint arXiv:1605.02935, 2016
17*2016
Language-parametric static semantic code completion
DAA Pelsmaeker, H van Antwerpen, C Bach Poulsen, E Visser
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022
152022
Latent Effects for Reusable Language Components
B van den Berg, T Schrijvers, C Bach Poulsen, N Wu
Asian Symposium on Programming Languages and Systems, 182-201, 2021
152021
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications
A Rouvoet, H Van Antwerpen, C Bach Poulsen, R Krebbers, E Visser
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
122020
Intrinsically-typed definitional interpreters à la carte
C van der Rest, C Bach Poulsen, A Rouvoet, E Visser, P Mosses
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1903-1932, 2022
92022
Hefty Algebras
C Bach Poulsen, C van der Rest
Proceedings of the ACM on Programming Languages 7 (POPL), 1801–1831, 2023
82023
Staged effects and handlers for modular languages with abstraction
C Bach Poulsen, C van der Rest, T Schrijvers
Workshop on Partial Evaluation and Program Manipulation (PEPM), 2021
52021
From definitional interpreter to symbolic executor
AD Mensing, H Van Antwerpen, C Bach Poulsen, E Visser
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta …, 2019
52019
Towards a Language for Defining Reusable Programming Language Components: (Project Paper)
C van der Rest, C Bach Poulsen
International Symposium on Trends in Functional Programming, 18-38, 2022
32022
Extensible Transition System Semantics
C Bach Poulsen
Swansea University, 2016
3*2016
Imperative polymorphism by store-based types as abstract interpretations
C Bach Poulsen, PD Mosses, P Torrini
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
22015
Divergence as State in Coinductive Big-Step Semantics
C Bach Poulsen, PD Mosses
26th Nordic Workshop on Programming Theory, NWPT 14, 2014
22014
Types and Semantics for Extensible Data Types (Extended Version)
C van der Rest, C Bach Poulsen
arXiv preprint arXiv:2309.14985, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20