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

• More publications