[Pl-seminar] Web-based Interface for Experimenting with System I

[Geoff Washburn]

We would like to announce the availability of a web-based interface
to software for experimenting with automated type inference for
System I, a type system for the pure lambda calculus with
intersection types and the new technology of _expansion_variables_.
System I is the starting point for our current and future research
on compositional program analysis.  We believe it is a good approach
to compositional analysis because it has the _principal_typings_
property (which is much stronger than and not to be confused with
the property of ML-like languages often referred to by the name of
"principal types").

The web interface can be found at:

	http://types.bu.edu/modular/compositional/experimentation-tool/

More information on our related research agenda and software for
download are available at:

	http://types.bu.edu/modular/compositional/

Geoff Washburn, Assaf Kfoury, Joe Wells
(just a few of the members of the Church Project)