A Monadic Framework for Name Resolution in Multi-phased Type Checkers
Casper Bach Poulsen
Date: Wed, October 11, 2023
Time: 12:00
Room: Turing 0.E420
Note: This is a rehearsal for a talk/demo at GPCE 2023
- Published paper
- mophasco.pdf
Previous:
Daniel Pelsmaeker | Language-Parametric Reference Synthesis
Next:
Peter Mosses | Online Name-Based Navigation for Software Meta-languages