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 JanDisplayed time zone: Eastern Time (US & Canada) change
Sat 22 Jan
Displayed time zone: Eastern Time (US & Canada) change
16:40 - 17:30
|Using Dependent Types at Scale: Maintaining the Agda Standard LibraryIn-Person|
|Setting the Record Straight with SingletonsRemote|
Reed Mullanix University of Minnesota
|First-class pattern synonymsIn-Person|
Tesla Zhang The Pennsylvania State University