Talks

2023

• Types and Semantics of Extensible Data Types, APLAS 2023, Taipei, Taiwan (slides)

• Types and Semantics of Extensible Data Types, TYPES 2023, Valencia, Spain (video, slides)

2022

• Intrinsically-Typed Definitional Interpreters a la Carte, OOPSLA 2022, Auckland, New Zealand (video, slides)

• A Completely Unique Account of Enumeration, ICFP 2022, Ljubljana, Slovenia (video, slides)

• Towards a Language for Defining Reusable Programming Language Components, TFP 2022, Virtual (slides)