Summer School AFP
Center
Dates
- ETAPS 29 March - 6 April
- FLOPS 14- 16 April
- TFP 7-9, 8-10 May
- AFP08 12-17 May
Program
| Subject | Speaker(s) |
|---|---|
| Software transactional memory | Simon(s) |
| GADT's | Doaitse |
| Fast packed Strings/Rules | Don Stewart |
| Qualified Types | ?? |
| Associated Types/Type families | Chackravarty |
| "From Credit Suisse/ABN " | Lennart |
| Type hacking | Oleg Kyseljov |
| AGDA | Ulf Norell |
| ?? | Richard Bird |
| ?? | Ralf |
Budget & Financing
- Microsoft
- IPA (spring-school)
- UU - 25 jaar bestaan
Proceedings
- voorlopige preprints
- daarna LNCS
- S.D. Swierstra
- R. Plasmijer
- P. Koopman