Casper Bach Poulsen

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 24

Top Topics

Varying Degrees

Semantic Constraints

Programming Language

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

Ivan Todorov, Casper Bach Poulsen
Modal μ-Calculus for Free in Agda. TyDe@ICFP (2024)
Aron Zwaan, Casper Bach Poulsen
Defining Name Accessibility using Scope Graphs (Extended Edition). CoRR (2024)
Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. FTfJP@ECOOP (2023)
Casper Bach Poulsen, Aron Zwaan, Paul Hübner
A Monadic Framework for Name Resolution in Multi-phased Type Checkers. GPCE (2023)
Casper Bach Poulsen, Cas van der Rest
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. Proc. ACM Program. Lang. 7 (POPL) (2023)
Cas van der Rest, Casper Bach Poulsen
Types and Semantics for Extensible Data Types. APLAS (2023)
Casper Bach Poulsen
Renamingless Capture-Avoiding Substitution for Definitional Interpreters. Eelco Visser Commemorative Symposium (2023)
Cas van der Rest, Casper Bach Poulsen
Types and Semantics for Extensible Data Types (Extended Version). CoRR (2023)
Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser
Language-parametric static semantic code completion. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses
Intrinsically-typed definitional interpreters à la carte. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Cas van der Rest, Jaro Reinders, Casper Bach Poulsen
Handling Higher-Order Effects. CoRR (2022)
Cas van der Rest, Casper Bach Poulsen
Towards a Language for Defining Reusable Programming Language Components - (Project Paper). TFP (2022)
Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
Latent Effects for Reusable Language Components. APLAS (2021)
Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
Latent Effects for Reusable Language Components: Extended Version. CoRR (2021)
Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
Intrinsically-typed definitional interpreters for linear, session-typed languages. CPP (2020)
Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser
Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser
From definitional interpreter to symbolic executor. META@SPLASH (2019)
Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser
Intrinsically-typed definitional interpreters for imperative languages. Proc. ACM Program. Lang. 2 (POPL) (2018)
Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser
Scopes as types. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg
Compositional soundness proofs of abstract interpreters. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Casper Bach Poulsen, Peter D. Mosses
Flag-based big-step semantics. J. Log. Algebraic Methods Program. 88 (2017)
Casper Bach Poulsen, Peter D. Mosses
Flag-Based Big-Step Semantics. CoRR (2016)
Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. ECOOP (2016)
Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini
Imperative Polymorphism by Store-Based Types as Abstract Interpretations. PEPM (2015)
Casper Bach Poulsen, Peter D. Mosses
Deriving Pretty-Big-Step Semantics from Small-Step Semantics. ESOP (2014)
Casper Bach Poulsen, Peter D. Mosses
Generating Specialized Interpreters for Modular Structural Operational Semantics. LOPSTR (2013)