Research on "Formal Methods in Computing"

Intersezione al rank 2 per Mini-Ocaml

ABSTRACT. The goal of the thesis is to develop a type inference system with rank 2 intersection for functional languages including recursive datatypes, recursive definitions, local definitions, conditional expressions, and global definitions. The starting point is the rank 2 intersection type system described in the paper [ Damiani, 2000 ].

An on-line demostration of the prototype developed as part of the thesis is available.

• Summary (IN ITALIAN): .ps , .ps.gz

BIBTEX.

@masterthesis{Leporati:MT-00,
   author    = {E. Leporati},
   title     = {Intersezione al rank 2 per Mini-Ocaml},
   year      = {2000},
   month     = {December},
   address   = {C.so Svizzera 185 - I 10149 Torino - Italy},
   school    = {Dipartimento di Informatica, Universit\`a di Torino}
}