Web-based Interface for Experimenting with System I

Geoff Washburn <gw2@types.bu.edu>
23 May 2002 01:49:12 -0400

          From comp.compilers

Related articles
Web-based Interface for Experimenting with System I gw2@types.bu.edu (Geoff Washburn) (2002-05-23)
| List of all articles for this month |

From: Geoff Washburn <gw2@types.bu.edu>
Newsgroups: comp.compilers
Date: 23 May 2002 01:49:12 -0400
Organization: Compilers Central
Keywords: available, WWW
Posted-Date: 23 May 2002 01:49:11 EDT

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)

Post a followup to this message

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