Sam Lindley

Recent content created by this user

Event
LFCS seminar: Mihai Budiu: Visualizing billion-row datasets	Aug 31, 2016
LFCS seminar: Ulrich Schöpp: Interaction semantics for low-level programming and compilation	Jan 22, 2018
LFCS seminar: Karoliina Lehtinen: A modal mu perspective on solving parity games in quasi-polynomial time	Dec 16, 2017
LFCS seminar: Michel Schellekens: Modular algorithm analysis	Dec 09, 2017
LFCS seminar: Tom Schrijvers: Explicit effect subtyping	Dec 16, 2017