Casper Bach Poulsen

34 papers A 3B 5C 2Journal 17Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
A Type Theoretic Treatment of Context-Free Languages Without Mutual Recursion.
TFP
Jaro S. Reinders, Casper Bach Poulsen
2025 J jnl
Language-Parametric Reference Synthesis (Extended).
CoRR
Daniël A. A. Pelsmaeker, Aron Zwaan, Casper Bach Poulsen, Arjan J. Mooij
2025 J jnl
Language-Parametric Reference Synthesis.
Proc. ACM Program. Lang.
Daniël A. A. Pelsmaeker, Aron Zwaan, Casper Bach Poulsen, Arjan J. Mooij
2024 B conf
Concrete Syntax Metapatterns.
SLE
Luka Miljak, Casper Bach Poulsen, Rosilde Corvino
2024 J jnl
Defining Name Accessibility Using Scope Graphs (Artifact).
Dagstuhl Artifacts Ser.
Aron Zwaan, Casper Bach Poulsen
2024 A conf
Defining Name Accessibility Using Scope Graphs.
ECOOP
Aron Zwaan, Casper Bach Poulsen
2024 J jnl
Defining Name Accessibility using Scope Graphs (Extended Edition).
CoRR
Aron Zwaan, Casper Bach Poulsen
2024 — conf
Modal μ-Calculus for Free in Agda.
TyDe@ICFP
Ivan Todorov, Casper Bach Poulsen
2023 B conf
A Monadic Framework for Name Resolution in Multi-phased Type Checkers.
GPCE
Casper Bach Poulsen, Aron Zwaan, Paul Hübner
2023 J jnl
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects.
Proc. ACM Program. Lang.
Casper Bach Poulsen, Cas van der Rest
2023 — conf
Renamingless Capture-Avoiding Substitution for Definitional Interpreters.
Eelco Visser Commemorative Symposium
Casper Bach Poulsen
2023 J jnl
Types and Semantics for Extensible Data Types (Extended Version).
CoRR
Cas van der Rest, Casper Bach Poulsen
2023 B conf
Types and Semantics for Extensible Data Types.
APLAS
Cas van der Rest, Casper Bach Poulsen
2023 — conf
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs.
FTfJP@ECOOP
Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck
2022 J jnl
Handling Higher-Order Effects.
CoRR
Cas van der Rest, Jaro S. Reinders, Casper Bach Poulsen
2022 J jnl
Intrinsically-typed definitional interpreters à la carte.
Proc. ACM Program. Lang.
Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses
2022 J jnl
Language-parametric static semantic code completion.
Proc. ACM Program. Lang.
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser
2022 — conf
Towards a Language for Defining Reusable Programming Language Components - (Project Paper).
TFP
Cas van der Rest, Casper Bach Poulsen
2021 B conf
Latent Effects for Reusable Language Components.
APLAS
Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
2021 J jnl
Latent Effects for Reusable Language Components: Extended Version.
CoRR
Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
2020 B conf
Intrinsically-typed definitional interpreters for linear, session-typed languages.
CPP
Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
2020 J jnl
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications.
Proc. ACM Program. Lang.
Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
2020 — ed.
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020
PEPM@POPL
Casper Bach Poulsen, Zhenjiang Hu
2019 — conf
From definitional interpreter to symbolic executor.
META@SPLASH
Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser
2018 J jnl
Compositional soundness proofs of abstract interpreters.
Proc. ACM Program. Lang.
Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg
2018 J jnl
Intrinsically-typed definitional interpreters for imperative languages.
Proc. ACM Program. Lang.
Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser
2018 J jnl
Scopes as types.
Proc. ACM Program. Lang.
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser
2017 J jnl
Flag-based big-step semantics.
J. Log. Algebraic Methods Program.
Casper Bach Poulsen, Peter D. Mosses
2016 J jnl
Flag-Based Big-Step Semantics.
CoRR
Casper Bach Poulsen, Peter D. Mosses
2016 J jnl
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact).
Dagstuhl Artifacts Ser.
Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser
2016 A conf
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics.
ECOOP
Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser
2015 C conf
Imperative Polymorphism by Store-Based Types as Abstract Interpretations.
PEPM
Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini
2014 A conf
Deriving Pretty-Big-Step Semantics from Small-Step Semantics.
ESOP
Casper Bach Poulsen, Peter D. Mosses
2013 C conf
Generating Specialized Interpreters for Modular Structural Operational Semantics.
LOPSTR
Casper Bach Poulsen, Peter D. Mosses