Monadic implementation of Hindley–Milner Type System
-
Updated
Mar 30, 2017 - Haskell
Monadic implementation of Hindley–Milner Type System
Homeworks for Type Theory course as continuation of course on Mathematical Logic, spring 2017
Hindley Milner Type Inference in Rust
Implementation of Hindley-Milner type inference algorithm in Java
PCF with Hindley-Milner type inference.
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Master thesis on developing a static type checker for Erlang
A unification implementation for JSON.
A minimal functional programming language with type inference, algebraic data types and pattern matching
Basic implementation of Hindley-Milner Type System and variants.
Java implementation of Hindley Milner type inference algorithm for lambda calculus.
Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems
Kotlin Hindley-Milner type inference with Arrow
A self-hosting mini Haskell compiler with a mini C runtime.
Example implementation of the Hindley-Milner type system
Functional programming inspired by ML for the Erlang VM
Stuff for the Bachelor Thesis repository
Modified version parsing CHM
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."