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:


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)

Return to the comp.compilers page.
Search the comp.compilers archives again.