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.
Recent comments
11 weeks 16 hours ago
15 weeks 2 days ago
16 weeks 6 days ago
16 weeks 6 days ago
19 weeks 4 days ago
24 weeks 2 days ago
24 weeks 2 days ago
24 weeks 5 days ago
24 weeks 5 days ago
27 weeks 3 days ago