|
a practical session |
|
Colin Runciman makes an announcement |
|
Kirill Lisovsky talks to Phil Wadler |
|
Manuel Charkravarty, Koen Claessen and Simon Peyton-Jones discuss something |
|
Nigel Walker |
|
Simon Peyton-Jones and Phil Wadler |
|
Michael Dalal and Matthias Felleisen |
|
Simon Peyton-Jones, Paul Hudak, Michael Dalal and Manuel Chakravarty look at something (probably a robot) |