This is a prototype implementation of a rank 2 intersection type system for higher order functional languages with recursive definitions. The current version of the prototype implements the type system described in the paper: Ferruccio Damiani: Rank 2 Intersection for Recursive Definitions. Fundam. Inform. 77(4): 451-488, 2007 (product 306688 of the "Catalogo di Ateneo").
Rank-2 Intersection and Polymorphic Recursion for (a subset of) Caml
DAMIANI, Ferruccio;ZACCHI, Maddalena
2010-01-01
Abstract
This is a prototype implementation of a rank 2 intersection type system for higher order functional languages with recursive definitions. The current version of the prototype implements the type system described in the paper: Ferruccio Damiani: Rank 2 Intersection for Recursive Definitions. Fundam. Inform. 77(4): 451-488, 2007 (product 306688 of the "Catalogo di Ateneo").
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
