Lambda the Ultimate

The Church Project investigates the foundations, design principles and implementation techniques of programming languages and related systems. The overall goal is the development of software technology that performs better and is more reliable. The project is named in honor of Alonzo Church, the inventor of the lambda calculus.

Four major research efforts (supported by various funding bodies including EC, EPSRC, and NSF) are presently undertaken by project participants:

• Compiling with Flow Types
• Compositional Analysis
• Programming with Dependent Types (DML) (Xanadu)
• Linear Naming and Computation

We previously linked to a document on this site, but not the site itself.

Following the CTM wiki and GCC wiki announcements, and the expression of interest in all kinds of new PL wikis, a pointer to the wikicities service may be in order: it's essentially an extension of the wikipedia project which is meant to support topic-oriented communities. I guess the Wikicity creation policy is the main thing to bear in mind when thinking whether a wikicity is the best way to launch your ultimate PL enlightenment portal.