A minimal functional programming language with type inference, algebraic data types and pattern matching

Functional language with type inference and let-polymorphism

An implementation of a simple ML dialect language with let-polymorphic type system, written in Haskell

Hindley-Milner type inference (Algorithm W) for a mini-ML in pure Standard ML, with let-polymorphism and an ofLambda bridge to the vendored sml-lambda. Dual-compiler MLton + Poly/ML.