Sam Lindley

Recent content created by this user

Event
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
LFCS seminar: Oliver Bračevac: The marriage of effects and joins	Nov 22, 2017