[Prev][Next][Index][Thread]
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)