Talks and presentations

Towards A Synthetic Formulation of Multiparty Session Types
PLAS Group Talk @ University of Kent
10 December 2024
[slides] [LaTeX source]

Mechanising Recursion Schemes with Magic-Free Coq Extraction
Online Seminar @ Tallinn University
2 May 2024
[slides] [LaTeX source]

Mechanising Recursion Schemes with Magic-Free Coq Extraction
PLAS Seminar @ University of Kent
8 April 2024
[slides]