Casper Bach Poulsen

34 papers A 3B 5C 2Journal 17Unranked 6

Year	Rank	Type	Title / 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