“ Talks
Elaborating Dependent (Co)Pattern Matching
- When
- Sunday, August 23
- Where
- San Francisco
- Listed by
- Meetup — SF Tech
\*\*\* PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY \*\*\*
Let's read Cockx and Abel's Elaborating Dependent (Co)pattern Matching (dl.acm.org/doi/pdf/10.1145/3236770) and get together to discuss it.
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.
