hindley-milner topic

Interpreter of the ITGL with dynamic type inference

ymyzk

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

elipmoc

Template for Hindley-Milner based languages

mbg

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

0b01

A parser for Hidnley Milner notations

xodio

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

kongware

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

smpoulsen

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

zionlang

A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

lambduli

hindley-milner algorithm

veera-sivarajan