package inferno

  1. Overview
  2. Docs
A library for constraint-based Hindley-Milner type inference

Install 

dune-project
 Dependency

gitlab.inria.fr Readme Changelog Edit opam file Versions (6)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. O
    Olivier Martinot <olivier.martinot@inria.fr>
  3. Gabriel Scherer

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=c1497a35814f2e006ea5adea6008ee7a
sha512=d00e2c3e3524d4dd3cba98ab6a8f1f9e95c475993c42f24bf4c46ddb527ae74b37ac1fec118a385556dadb733caeaaa071d06e536c91097045439ab39be25e65

doc/README.html

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 manual, but the API of the latest released version is online.