C.B. (Casper) Poulsen
C.B. (Casper) Poulsen
Profile
Homepage
Expertise
Publications
-
2024
Defining Name Accessibility Using Scope Graphs
Aron Zwaan / Casper Bach Poulsen
-
2024
Modal μ-Calculus for Free in Agda
Ivan Todorov / Casper Bach Poulsen
-
2023
A Monadic Framework for Name Resolution in Multi-phased Type Checkers
Casper Bach Poulsen / Aron Zwaan / Paul Hübner
-
2023
Hefty Algebras
Modular Elaboration of Higher-Order Algebraic Effects
Casper Bach Poulsen / Cas Van Der Rest -
2023
Renamingless Capture-Avoiding Substitution for Definitional Interpreters
Casper Bach Poulsen
-
Ancillary activities
-
2023-03-21 - 2025-03-21