Jonathan Protzenko
The implementation of the Mezzo type-checker
IFL, 2013.
@inproceedings{IFL-2013-Protzenko, author = "Jonathan Protzenko", booktitle = "{Proceedings of the 25th Symposium on Implementation and Application of Functional Languages}", doi = "10.1145/2620678.2620684", isbn = "978-1-4503-2988-0", pages = "129", publisher = "{ACM}", title = "{The implementation of the Mezzo type-checker}", year = 2013, }