C.B. (Casper) Poulsen
C.B. (Casper) Poulsen
Profile
Homepage
Expertise
Publications
-
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
-
2023
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Luka Miljak / Casper Bach Poulsen / Flip van Spaendonck
-
2022
Intrinsically-typed definitional interpreters à la carte
C.R. van der Rest / C.B. Poulsen / A.J. Rouvoet / Eelco Visser / P.D. Mosses
-
Ancillary activities
-
2023-03-21 - 2025-03-21