package inferno
A library for constraint-based Hindley-Milner type inference
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=85e6b46c16685c11e8356cc0f757f5f3
sha512=106c7418acc0793a828937690641719415088a5e69c92a49cc157506e7ce85e4dd318642cd0835876621faa2d1efdbd69bb5745fcfe76d484ca22a3b155b8e83
README.md.html
README.md
A library for constraint-based Hindley-Milner type inference.
This software is described in the ICFP 2014 paper Hindley-Milner elaboration in applicative style by François Pottier.
See also the ICFP 2014 slides.
At present, there is no documentation other than the above paper and slides.