TypI
Presentation:
TypI is a type inference interpreter for the intersection
types discipline.
Documentation:
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.
Requirements:
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).
Download:
The source files are given as a gzipped tar archive. Please read the file README for
instructions.
Source files: typi.tgz
Pascal Zimmer