| 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 | 59 | 2018 |
| Intrinsically-Typed Definitional Interpreters for Imperative Languages C Bach Poulsen, A Rouvoet, A Tolmach, R Krebbers, E Visser | 55 | 2018 |
| 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 | 41 | 2020 |
| Compositional soundness proofs of abstract interpreters S Keidel, C Bach Poulsen, S Erdweg Proceedings of the ACM on Programming Languages 2 (ICFP), 72, 2018 | 25 | 2018 |
| Deriving pretty-big-step semantics from small-step semantics C Bach Poulsen, PD Mosses Programming Languages and Systems, 270-289, 2014 | 23 | 2014 |
| 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 | 21 | 2022 |
| 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 | 20 | 2021 |
| 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 | 20* | 2016 |
| Generating specialized interpreters for modular structural operational semantics C Bach Poulsen, PD Mosses Logic-Based Program Synthesis and Transformation, 220-236, 2013 | 18 | 2013 |
| 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 | 17 | 2020 |
| Flag-Based Big-Step Semantics C Bach Poulsen, PD Mosses arXiv preprint arXiv:1605.02935, 2016 | 17* | 2016 |
| 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 | 13 | 2022 |
| Hefty Algebras C Bach Poulsen, C van der Rest Proceedings of the ACM on Programming Languages 7 (POPL), 1801–1831, 2023 | 12 | 2023 |
| 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 | 8 | 2019 |
| 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 | 6 | 2022 |
| 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 | 5 | 2021 |
| Verifying Well-Typedness Preservation of Refactorings using Scope Graphs L Miljak, C Bach Poulsen, F van Spaendonck Proceedings of the 25th ACM International Workshop on Formal Techniques for …, 2023 | 3 | 2023 |
| A Monadic Framework for Name Resolution in Multi-phased Type Checkers C Bach Poulsen, A Zwaan, P Hübner | 3 | 2023 |
| Extensible Transition System Semantics C Bach Poulsen Swansea University, 2016 | 3* | 2016 |
| Types and Semantics of Extensible Data Types C van der Rest, C Bach Poulsen 29th International Conference on Types for Proofs and Programs TYPES 2023 …, 2023 | 2 | 2023 |
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
