hindley-milner topic
polytype-rs
A Hindley-Milner polymorphic typing system
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
L2
A minimalist type-inferred programming language with procedural macro support
articles
Miscellaneous articles. The readme is the table of contents.
alpaca
Functional programming inspired by ML for the Erlang VM
write-you-an-inference-in-fsharp
Different type inference algorithms implemented in F#
hm-def
Runtime type checking for JS with Hindley Milner signatures
mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
Typology
Swift type checking and semantic analysis for developer tools
mt
Master thesis on developing a static type checker for Erlang