User loginNavigation |
Spring School on Datatype-Generic Programming 2006
If you are interested in generic programming and have some free time in April, this is for you.
LtU readers will recognize the names of the lecturers, if not the specific presentation titles. Among the lecturers are Jeremy Gibbons, Ralf Hinze, Ralf Lämmel and Tim Sheard (who will talk about putting Curry-Howard to work). |
Browse archives
Active forum topics |
Recent comments
6 weeks 6 days ago
6 weeks 6 days ago
6 weeks 6 days ago
13 weeks 6 hours ago
1 year 1 week ago
1 year 1 week ago
1 year 1 week ago
1 year 23 weeks ago
1 year 27 weeks ago
1 year 29 weeks ago