package inferno

  1. Overview
  2. Docs
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.

OCaml

Innovation. Community. Security.