hindley-milner

Here are 40 public repositories matching this topic...

sdiehl / write-you-a-haskell

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

compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation

Updated Oct 20, 2019
Haskell

alpaca-lang / alpaca

Star

Functional programming inspired by ML for the Erlang VM

erlang ml erlang-vm hindley-milner statically-typed alpaca

Updated Jun 13, 2020
Erlang

quchen / articles

Star

Miscellaneous articles. The readme is the table of contents.

haskell tutorials articles hindley-milner

Updated May 22, 2020
Haskell

xodio / hm-def

Star

Runtime type checking for JS with Hindley Milner signatures

javascript functional-programming type-checking invariant hindley-milner

Updated Jul 17, 2020
JavaScript

murisi / L2

Star

A minimalist type-inferred programming language with procedural macro support

c programming-language scheme lisp macros s-expressions hindley-milner type-inference meta-programming unsafe setjmp longjmp

Updated Jan 6, 2020
Racket

7sharp9 / write-you-an-inference-in-fsharp

Star

Different type inference algorithms implemented in F#

fsharp polymorphism hindley-milner typeinference typesystems

Updated Oct 5, 2019
F#

MaxDesiatov / Typology

Star

Swift type checking and semantic analysis for developer tools

swift developer-tools type-checking type-system hindley-milner type-inference semantic-analysis type-checker semantic-analyzer

Updated Jul 3, 2020
Swift

kongware / ftor

Star

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

javascript functional-programming tuples composition immutability recursion higher-order-functions polymorphism currying type-system lazy-evaluation hindley-milner purity sum-types unification combinators parametric-polymorphism tagged-unions scott-encoding row-polymorphism

Updated Mar 9, 2018
JavaScript

elipmoc / Ruscall

Star

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

programming-language rust compiler llvm hindley-milner

Updated Feb 23, 2019
Rust

siraben / mini-haskell

Star

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

c haskell parser-combinators compiler combinatory-logic hindley-milner graph-reduction

Updated Dec 22, 2019
Haskell

mbg / hindley-milner

Star

Template for Hindley-Milner based languages

language types hindley-milner type-inference unification

Updated May 16, 2016
Haskell

xodio / hm-parser

Star

A parser for Hidnley Milner notations

parser functional-programming fp hindley-milner

Updated Jul 17, 2020
JavaScript

lucasem / polytype-rs

Star

A Hindley-Milner polymorphic typing system

types polymorphism hindley-milner type-inference

Updated Dec 27, 2019
Rust

tpoulsen / terp

Star

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

programming-language lisp interpreter ml hindley-milner higher-kinded-types

Updated Oct 20, 2017
Elixir

nachivpn / mt

Star

Master thesis on developing a static type checker for Erlang

erlang hindley-milner type-inference partial-evaluation

Updated Sep 30, 2018
Erlang

zionlang / zion

Star

A statically-typed strict garbage-collected powerful but not too-powerful readable programming language with enough side-effects to make it fun.

programming-language compiler llvm ffi lambda-calculus typeclass type-safety hindley-milner zion static-typing system-f llvm-compiler garbage-collect

Updated Aug 9, 2020
C++

ymyzk / lambda-dti

Star

Interpreter of the ITGL with dynamic type inference

interpreter functional-programming ocaml repl hindley-milner dune gradual-typing type-inferece

Updated Jan 16, 2019
OCaml

BookOwl / type-inference

Star

Hindley Milner Type Inference in Rust

type-checking type-system hindley-milner type-inference

Updated Oct 4, 2017
Rust

remexre / evaltrees

Star

A simple term-rewriting interpreter that displays intermediate expressions.

rust education interpreter hindley-milner

Updated Apr 5, 2019
Rust

aedans / Hindley-Milner

Star

Kotlin Hindley-Milner type inference with Arrow

kotlin functional functional-programming hindley-milner

Updated Jun 7, 2019
Kotlin

wdamron / poly

Star

Hindley-Milner type system with extensible records and variants, implemented in Go

type-theory type-system hindley-milner type-inference algorithm-w

Updated Dec 9, 2019
Go

csabahruska / dsl-experiment

Star

Basic implementation of Hindley-Milner Type System and variants.

parser haskell functional-programming hindley-milner type-checker

Updated Apr 3, 2019
Haskell

kuchenkruste / noocleus-one

Star

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

rkoeninger / hindley_milner

Star

Example implementation of the Hindley-Milner type system

hindley-milner type-inference

Updated Mar 10, 2020
OCaml

jmackie / hindley-milner

Star

🧐 Another Hindley-Milner implementation in Haskell

haskell hindley-milner type-inference haskell-learning

Updated Jul 19, 2020
Haskell

Dnomyar / Hindley-Milner-Type-System

Star

Implementation of Hindley-Milner type inference algorithm in Java

haskell grammar hindley-milner typeinference

Updated Nov 30, 2017
Java

ppgllrd / Hindley-Milner-Type-System

Star

Monadic implementation of Hindley–Milner Type System

monads haskell type-system hindley-milner

Updated Mar 30, 2017
Haskell

clementgarbay / HindleyMilner

Star

Hindley-Milner Inference algorithm

inference hindley-milner

Updated Mar 4, 2018
Java

jiriklepl / Bachelor-Thesis-Stuff

Star

Stuff for the Bachelor Thesis repository

c lambda-calculus bachelor-thesis hindley-milner mff-uk

Updated Jul 1, 2020
HTML

jiriklepl / language-chm

Star

Modified version parsing CHM

c haskell lambda-calculus bachelor-thesis hindley-milner

Updated Jul 8, 2020
Haskell

Improve this page

Add a description, image, and links to the hindley-milner topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more