Interpreter of the ITGL with dynamic type inference
-
Updated
May 27, 2024 - OCaml
Interpreter of the ITGL with dynamic type inference
The OCaml-lite interpreter is a streamlined tool for parsing and executing OCaml-lite programs, offering insights into programming language interpretation with a focus on simplicity and educational value.
OCaml inspired language
Lisp but typed and it compiles to LLVM
Playing with type systems
Type inference implementation in OCaml using Algorithm W
Example implementation of the Hindley-Milner type system
Homeworks for Type Theory course as continuation of course on Mathematical Logic, spring 2017
Add a description, image, and links to the hindley-milner topic page so that developers can more easily learn about it.
To associate your repository with the hindley-milner topic, visit your repo's landing page and select "manage topics."