hindley-milner topic
List
hindley-milner repositories
polytype-rs
47
Stars
8
Forks
Watchers
A Hindley-Milner polymorphic typing system
write-you-a-haskell
3.3k
Stars
256
Forks
Watchers
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
L2
135
Stars
9
Forks
Watchers
A minimalist type-inferred programming language with procedural macro support
articles
1.2k
Stars
94
Forks
Watchers
Miscellaneous articles. The readme is the table of contents.
alpaca
1.4k
Stars
46
Forks
Watchers
Functional programming inspired by ML for the Erlang VM
write-you-an-inference-in-fsharp
158
Stars
8
Forks
Watchers
Different type inference algorithms implemented in F#
hm-def
197
Stars
11
Forks
Watchers
Runtime type checking for JS with Hindley Milner signatures
mini-haskell
70
Stars
5
Forks
Watchers
A self-hosting mini Haskell compiler with a mini C runtime.
Typology
81
Stars
5
Forks
Watchers
Swift type checking and semantic analysis for developer tools
mt
27
Stars
1
Forks
Watchers
Master thesis on developing a static type checker for Erlang