🧐 Another Hindley-Milner implementation in Haskell
-
Updated
Jul 19, 2020 - Haskell
🧐 Another Hindley-Milner implementation in Haskell
make type inference system in python
Stuff for the Bachelor Thesis repository
Hindley-Milner type inference in Scheme, for Scheme
PCF with Hindley-Milner type inference.
Check https://github.com/exaexa/simple-mff-slides for the template
Hindley-Milner type inference for Scheme, in C#
A purely functional and statically typed programming language with HM type inference running on JVM.
Playground for type inference in elm
Modified version parsing CHM
Naive Hindley-Miler Type Inference Impl
A statically typed functional language with type inference, ad-hoc polymorphism, and an extensible operator syntax. Influenced by Rust, ML, and Haskell.
A hobby language for the .NET platform that supports Hindley–Milner type inference.
Homeworks for Type Theory course as continuation of course on Mathematical Logic, spring 2017
Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
The third iteration of the Lavender programming language, implemented in Rust.
Basic implementation of Hindley-Milner Type System and variants.
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."