POPL 2022
Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States
POPL 2022 (series) / WITS 2022 (series) / WITS 2022 /

First-class pattern synonyms

In-Person
WITS 2022
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

Tesla Zhang

The Pennsylvania State University