TypI is a type inference interpreter for the intersection
The documentation is part of my PhD thesis for the time being, and in French only.
Here is the chapter concerning TypI exclusively, it contains a running example
(comments are in French, but the code is in English):
[ doc-typi.ps ]
You can also download the complete thesis from the publications page.
You must have a complete distribution of Objective Caml installed
on your system. The release version should be at least 3.00. This
software can be downloaded from:
Moreover, the binaries of OCaml must be accessible through your
PATH environment variable (otherwise, you can also change the Makefile).
The source files are given as a gzipped tar archive. Please read the file README for
Source files: typi.tgz