The Church Project
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 has superior performance, reliability, and usability.
The project is named in honor of Alonzo
Church, the inventor of the lambda calculus.
Current Focus and Participation
The following major research efforts (supported by various funding bodies
including EC, EPSRC, and NSF) are presently undertaken by project
Active participants include faculty members, research associates and post-doctoral fellows, graduate
and undergraduate students in computer science. The list of participants
gives more details as well as links. New participants with time to work on any of the project's activities
are welcome. For more information, send an e-mail to any of the active participants.
Year-round semi-regular seminars have been held in the
Boston area as the main forum for participants and visitors
to present recent results, work in progress, position papers,
and papers of general interest related to the overall goal of the
project. Project participants have organized occasional one-semester
seminars devoted to specific topics of interest:
Sponsor: Work undertaken under the Church Project has been partially
supported by National Science Foundation grants no. CCR-0113193 and no.
CNS-0202067. Any opinions, findings, and conclusions or recommendations
expressed in this work are those of the author(s) and do not necessarily
reflect the views of the National Science Foundation.
This website was recently updated. If you are a current or former member and see
something missing, please contact
lapets at bu.edu.