|
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)
|