Sat 22 Jan 2022 17:10 - 17:25 at Salon III - Session 5 Chair(s): Jesper Cockx, Richard A. Eisenberg

In this talk, I’ll share some ideas on “parameterizing a record by pattern synonyms”.

Independent researcher studying category theory and univalent type theories. Undergraduate student.

Sat 22 Jan

Displayed time zone: Eastern Time (US & Canada) change

16:40 - 17:30
Session 5WITS at Salon III
Chair(s): Jesper Cockx TU Delft, Richard A. Eisenberg Tweag
16:40
15m
Talk
Using Dependent Types at Scale: Maintaining the Agda Standard LibraryIn-Person
WITS
Matthew L. Daggitt Heriot-Watt University, Guillaume Allais University of St Andrews
16:55
15m
Talk
Setting the Record Straight with SingletonsRemote
WITS
Reed Mullanix University of Minnesota
17:10
15m
Talk
First-class pattern synonymsIn-Person
WITS
Tesla Zhang The Pennsylvania State University