-
Revisiting Containers (in Cubical Agda) at
TYPES 2023.
Valencia, Spain, 12 June 2023.
Based on the abstract available here. -
Specifying QIITs using Containers at
HoTT 2023.
Pittsburgh, Pennsylvania, 24 May 2023.
And Specifying QIITs using Containers at Workshop on HoTT/UF 2023.
Vienna, Austria, 23 April 2023.
Based on the abstract available here. - Constructing Simple and Mutual Inductive Types at
the Research Spotlight Competition, 14th London Hopper Colloquium.
Online, 28 October 2020.
The talk was pre-recorded and is available here. - Constructing Simple and Mutual Inductive Types in Agda at
Agda Implementors' Meeting XXXIII.
Online, 19 October 2020.