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

Casper Bach Poulsen, Aron Zwaan, Paul Hbner

Browse the full GPCE paper archive.