Casper Bach Poulsen

According to our database, Casper Bach Poulsen authored at least 28 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Defining Name Accessibility Using Scope Graphs (Artifact).

Aron Zwaan, Casper Bach Poulsen

Dagstuhl Artifacts Ser., 2024

Defining Name Accessibility using Scope Graphs (Extended Edition).

Aron Zwaan, Casper Bach Poulsen

CoRR, 2024

Modal μ-Calculus for Free in Agda.

Ivan Todorov, Casper Bach Poulsen

Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, 2024

Defining Name Accessibility Using Scope Graphs.

Aron Zwaan, Casper Bach Poulsen

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects.

Casper Bach Poulsen, Cas van der Rest

Proc. ACM Program. Lang., January, 2023

Types and Semantics for Extensible Data Types (Extended Version).

Cas van der Rest, Casper Bach Poulsen

CoRR, 2023

A Monadic Framework for Name Resolution in Multi-phased Type Checkers.

Casper Bach Poulsen, Aron Zwaan, Paul Hübner

Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023

Verifying Well-Typedness Preservation of Refactorings using Scope Graphs.

Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

Renamingless Capture-Avoiding Substitution for Definitional Interpreters.

Casper Bach Poulsen

Proceedings of the Eelco Visser Commemorative Symposium, 2023

Types and Semantics for Extensible Data Types.

Cas van der Rest, Casper Bach Poulsen

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

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

Language-parametric static semantic code completion.

Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser

Proc. ACM Program. Lang., 2022

Handling Higher-Order Effects.

Cas van der Rest, Jaro S. Reinders, Casper Bach Poulsen

CoRR, 2022

Towards a Language for Defining Reusable Programming Language Components - (Project Paper).

Cas van der Rest, Casper Bach Poulsen

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

2021

Latent Effects for Reusable Language Components: Extended Version.

Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu

CoRR, 2021

Latent Effects for Reusable Language Components.

Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

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

Intrinsically-typed definitional interpreters for linear, session-typed languages.

Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

From definitional interpreter to symbolic executor.

Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser

Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, 2019

2018

Intrinsically-typed definitional interpreters for imperative languages.

Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, 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

Scopes as types.

Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser

Proc. ACM Program. Lang., 2018

2017

Flag-based big-step semantics.

Casper Bach Poulsen, Peter D. Mosses

J. Log. Algebraic Methods Program., 2017

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

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics.

Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

Imperative Polymorphism by Store-Based Types as Abstract Interpretations.

Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

2014

Deriving Pretty-Big-Step Semantics from Small-Step Semantics.

Casper Bach Poulsen, Peter D. Mosses

Proceedings of the Programming Languages and Systems, 2014

2013

Generating Specialized Interpreters for Modular Structural Operational Semantics.

Casper Bach Poulsen, Peter D. Mosses

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013