hindley-milner

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

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

Different type inference algorithms implemented in F#

A minimalist type-inferred programming language with procedural macro support

Swift type checking and semantic analysis for developer tools

A self-hosting mini Haskell compiler with a mini C runtime.

hindley-milner algorithm

A Hindley-Milner polymorphic typing system

shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)

Playing with type systems

A functional programming language with lisp syntax and ML semantics that runs on the BEAM

A statically-typed strictly-evaluated garbage-collected readable programming language.

自作言語処理系のコンパイラ制作

Template for Hindley-Milner based languages

Master thesis on developing a static type checker for Erlang

let a million languages bloom

A parser for Hidnley Milner notations

Experimental GraphQL scripting language