Benjamin Pierce's "Types And Programming Languages" type checker implementations.
Primary LanguageOCamlBSD 2-Clause "Simplified" LicenseBSD-2-Clause