let-polymorphism

Here are 4 public repositories matching this topic...

BjoernLoetters / noocleus-one

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

scala functional-programming pattern-matching algebraic-data-types polymorphism type-system hindley-milner type-inference type-check let-polymorphism

Updated Mar 27, 2019
Scala

dpusceddu / subskell

Star

Functional language with type inference and let-polymorphism

language functional ocaml type-inference let-polymorphism

Updated Feb 15, 2023
OCaml

sjqtentacles / sml-hm

Sponsor

Star

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.

lambda-calculus sml standard-ml type-system hindley-milner type-inference mlton polyml algorithm-w let-polymorphism

Updated Jul 11, 2026
Standard ML

SeungUkLee / slang

Star

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

programming-language let-polymorphism

Updated Oct 28, 2023
Haskell

Add this topic to your repo

To associate your repository with the let-polymorphism topic, visit your repo's landing page and select "manage topics."

Learn more