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
9 weeks 5 days ago
14 weeks 7 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago