Talks (videos)

Some videos of talks we have given about our work in various different venues.

End of the 2020 review (Dominic Orchard)

TyDe 2020 workshop (online) “Towards Graded Modal Type Theory” (Benjamin Moon)

[podcast] The Typechecker Ep. 2: Granule (feat. Dr. Dominic Orchard)

CodeMesh London 2019 (Dominic Orchard)

ICFP 2019, Berlin (Vilem-Benjamin Liepelt)

TypeLevel Summit, Lausanne 2019 (Vilem-Benjamin Liepelt)