Talks

• Effects and Coeffects in Call-By-Push-Value. OOPSLA 2024.
• Strictly Associative Sigmas. HoTT MURI 2024 meeting.