Università di Torino
Rank 2 intersection for a simple language of modules (built on a subset of Caml)This page demonstrates a prototype implementation of a rank 2 intersection type system for a simple language of modules added on top of a core-ML like language. The current version of the prototype (the source code is not availlable):
Demonstration of the intrachecking prototype
Type a module in the form below and press the button.
Demonstration of the interchecking prototype
Type a sequence of interfaces terminate by ";;" in the form below and press the button.
Here you can find a description of the SYNTAX OF THE LANGUAGE OF INTERFACES (to supply interfaces in input to the interchecking prototype copy and paste in sequence the interfaces produced as output by the above intrachecking prototype on different modules and terminate the sequence by ";;").
|Comments to: damiani[at]di[dot]unito[dot]it||Last update: Mar 20, 2001|