Generating Specialized Interpreters for Modular Structural Operational Semantics. - Casper Bach Poulsen; Peter D. Mosses (LOPSTR, 2013)

Deriving Pretty-Big-Step Semantics from Small-Step Semantics. - Casper Bach Poulsen; Peter D. Mosses (ESOP, 2014)

Imperative Polymorphism by Store-Based Types as Abstract Interpretations. - Casper Bach Poulsen; Peter D. Mosses; Paolo Torrini (PEPM, 2015)

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. - Casper Bach Poulsen; Pierre Néron; Andrew P. Tolmach; Eelco Visser (ECOOP, 2016)

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact). - Casper Bach Poulsen; Pierre Néron; Andrew P. Tolmach; Eelco Visser (Dagstuhl Artifacts Ser., 2016)

Flag-based big-step semantics. - Casper Bach Poulsen; Peter D. Mosses (J. Log. Algebraic Methods Program., 2017)

Scopes as types. - Hendrik van Antwerpen; Casper Bach Poulsen; Arjen Rouvoet; Eelco Visser (Proc. ACM Program. Lang., 2018)

Compositional soundness proofs of abstract interpreters. - Sven Keidel; Casper Bach Poulsen; Sebastian Erdweg (Proc. ACM Program. Lang., 2018)

Intrinsically-typed definitional interpreters for imperative languages. - Casper Bach Poulsen; Arjen Rouvoet; Andrew Tolmach; Robbert Krebbers; Eelco Visser (Proc. ACM Program. Lang., 2018)

From definitional interpreter to symbolic executor. - Adrian D. Mensing; Hendrik van Antwerpen; Casper Bach Poulsen; Eelco Visser (META@SPLASH, 2019)

Intrinsically-typed definitional interpreters for linear, session-typed languages. - Arjen Rouvoet; Casper Bach Poulsen; Robbert Krebbers; Eelco Visser (CPP, 2020)

Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications. - Arjen Rouvoet; Hendrik van Antwerpen; Casper Bach Poulsen; Robbert Krebbers; Eelco Visser (Proc. ACM Program. Lang., 2020)

Latent Effects for Reusable Language Components. - Birthe van den Berg; Tom Schrijvers; Casper Bach Poulsen; Nicolas Wu (APLAS, 2021)

Latent Effects for Reusable Language Components: Extended Version. - Birthe van den Berg; Tom Schrijvers; Casper Bach Poulsen; Nicolas Wu (CoRR, 2021)

Towards a Language for Defining Reusable Programming Language Components - (Project Paper). - Cas van der Rest; Casper Bach Poulsen (TFP, 2022)

Handling Higher-Order Effects. - Cas van der Rest; Jaro S. Reinders; Casper Bach Poulsen (CoRR, 2022)

Language-parametric static semantic code completion. - Daniël A. A. Pelsmaeker; Hendrik van Antwerpen; Casper Bach Poulsen; Eelco Visser (Proc. ACM Program. Lang., 2022)

Intrinsically-typed definitional interpreters à la carte. - Cas van der Rest; Casper Bach Poulsen; Arjen Rouvoet; Eelco Visser; Peter D. Mosses (Proc. ACM Program. Lang., 2022)

Types and Semantics for Extensible Data Types. - Cas van der Rest; Casper Bach Poulsen (APLAS, 2023)

Renamingless Capture-Avoiding Substitution for Definitional Interpreters. - Casper Bach Poulsen (Eelco Visser Commemorative Symposium, 2023)

Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. - Luka Miljak; Casper Bach Poulsen; Flip van Spaendonck (FTfJP@ECOOP, 2023)

A Monadic Framework for Name Resolution in Multi-phased Type Checkers. - Casper Bach Poulsen; Aron Zwaan; Paul Hübner (GPCE, 2023)

Types and Semantics for Extensible Data Types (Extended Version). - Cas van der Rest; Casper Bach Poulsen (CoRR, 2023)

Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. - Casper Bach Poulsen; Cas van der Rest (Proc. ACM Program. Lang., 2023)

Defining Name Accessibility Using Scope Graphs. - Aron Zwaan; Casper Bach Poulsen (ECOOP, 2024)

Concrete Syntax Metapatterns. - Luka Miljak; Casper Bach Poulsen; Rosilde Corvino (SLE, 2024)

Modal μ-Calculus for Free in Agda. - Ivan Todorov; Casper Bach Poulsen (TyDe@ICFP, 2024)

Defining Name Accessibility using Scope Graphs (Extended Edition). - Aron Zwaan; Casper Bach Poulsen (CoRR, 2024)

Defining Name Accessibility Using Scope Graphs (Artifact). - Aron Zwaan; Casper Bach Poulsen (Dagstuhl Artifacts Ser., 2024)

Language-Parametric Reference Synthesis. - Daniël A. A. Pelsmaeker; Aron Zwaan; Casper Bach Poulsen; Arjan J. Mooij (Proc. ACM Program. Lang., 2025)

Language-Parametric Reference Synthesis (Extended). - Daniël A. A. Pelsmaeker; Aron Zwaan; Casper Bach Poulsen; Arjan J. Mooij (CoRR, 2025)