Building a modern functional compiler from first principles. (http://dev...
Functional programming inspired by ML for the Erlang VM
Miscellaneous articles. The readme is the table of contents.
Runtime type checking for JS with Hindley Milner signatures
A minimalist type-inferred programming language with procedural macro su...
Swift type checking and semantic analysis for developer tools
A self-hosting mini Haskell compiler with a mini C runtime.
shapechecking neural net DSL using Hindley-Milner type system(compiles t...
hindley-milner algorithm
A statically-typed strictly-evaluated garbage-collected readable program...
A Hindley-Milner polymorphic typing system
ftor enables ML-like type-directed, functional programming with Javascri...
自作言語処理系のコンパイラ制作
Template for Hindley-Milner based languages