Home

The Church Project

http://types.bu.edu or http://www.church-project.org

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.

By Andris Birkmanis at 2005-02-08 17:24 | Lambda Calculus | Type Theory | other blogs | 6634 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

FLINT

If you like the Church project then you'll probably like the FLINT project.

By Derek Elkins at Tue, 2005-02-08 20:53 | login or register to post comments

FLINT - is it still alive?

The only updates in several years seem to be new papers. Does anyone know whether the version of the code in SML/NJ is the most recent?

By Ville-Pertti Keinonen at Wed, 2005-02-09 10:00 | login or register to post comments

Life's like that

Funny. I'm an ex-member of the Church group, and will be in Yale from May and plan to get involved with the FLINT group.

By Charles A Stewart at Wed, 2005-02-09 11:25 | login or register to post comments