Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package inferno
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
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.