| Church-announce -- Church Project event announcements | ||||||||||||||||||||||||
|
|
||||||||||||||||||||||||
| About Church-announce | ||||||||||||||||||||||||
|
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.
To see the collection of prior postings to the list, visit the Church-announce Archives. |
||||||||||||||||||||||||
| Using Church-announce | ||||||||||||||||||||||||
|
To post a message to all the list members, send email to
church-announce@types.bu.edu.
You can subscribe to the list, or change your existing subscription, in the sections below. |
||||||||||||||||||||||||
| Subscribing to Church-announce | ||||||||||||||||||||||||
|
Subscribe to Church-announce by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a private list, which means that the list of members is not available to non-members.
|
||||||||||||||||||||||||
| Church-announce Subscribers | ||||||||||||||||||||||||
|
|
||||||||||||||||||||||||
version 2.1.9 |