Web-based Interface for Experimenting with System I

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:


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


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