Some videos of talks we have given about our work in various different venues.
Interview for the 47 Degrees “Immutable Conversations” podcast (Dominic Orchard, June 2021)
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)