Timothy Roscoe, Systems Group, ETH Zurich

Linked Presentation: