GitHub repository: AlexRogalskiy/monadic-typechecker
Description: Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language"