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.
shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
A statically-typed strictly-evaluated garbage-collected readable programming language.
A Hindley-Milner polymorphic typing system
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Playing with type systems
Template for Hindley-Milner based languages
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
Master thesis on developing a static type checker for Erlang
A parser for Hidnley Milner notations
a language for Cultural Articulation
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."