项目作者： maeln

项目描述：
Java implementation of Hindley Milner type inference algorithm for lambda calculus.

高级语言： Java

项目主页：

项目地址: git://github.com/maeln/LambdaHindleyMilner.git

创建时间： 2016-10-06T14:31:51Z
项目社区：https://github.com/maeln/LambdaHindleyMilner
开源协议：GNU General Public License v3.0
下载

Hindley - Milner in Java

Java implementation of Hindley Milner type inference algorithm for lambda calculus.

Compile

mvn clean compile assembly:single

Most of the implementation was done by Valentin Cocaud.