 Midland Graduate School 2004 / APPSEM Spring School 2004
started 2/6/2004; 2:29:11 AM - last post 2/6/2004; 5:28:16 AM
|
|
Noel Welsh - Midland Graduate School 2004 / APPSEM Spring School 2004 
2/6/2004; 2:29:11 AM (reads: 90, responses: 1)
|
|
|
Midland Graduate School 2004 / APPSEM Spring School 2004
For only £70 you could attend a week of tutorials on programming language goodness. The tutorials cover:
- Lambda calculus and types
- Category Theory
- unctional Programming
- Denotational Semantics
- Theorem Proving in Isabelle
- Topology of data types
- Stone Duality - The Duality of Syntax and Semantics
- Dependently Typed Programming
- Programming logics for dynamic
See you there!
Happy Ehud? ;-)
|
|
Ehud Lamm - Re: Midland Graduate School 2004 / APPSEM Spring School 2004
2/6/2004; 5:28:16 AM (reads: 87, responses: 0)
|
|
|
Use the home page!
(And if you are there, let us know more about the Category Theory course...)
|
|
|
|