Talks

• 09-04-2024 - Fearless programming and reasoning with infinities @ FP Madrid
• 03-11-2023 - Programming and Proving with Guarded Recursion @ PSSV’23 (video)
• 19-10-2022 - Languages all the way down @ FP Madrid