TypI is a type inference interpreter for the intersection types discipline.


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: http://caml.inria.fr/
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 instructions.
Source files: typi.tgz

Pascal Zimmer