package inferno
A library for constraint-based Hindley-Milner type inference
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=c669a9084bcd34c8f557b87f1a3c7d85
sha512=548d1d332e8ab4e0bdd2f9b922c2389b59ed5657bf9ad57b652d1ca4fdf6bf83cebcc0ecec3475d1b1ab44c2fc5d2adbaa618ed5a7c0427dc9798f1167229e12
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.