POPL 2022 (series) / WITS 2022 (series) / WITS 2022 / Multi case trees: confluence and coverage (discussion)
Multi case trees: confluence and coverage (discussion)In-Person
In this discussion, I’ll share an alternative implementation of coverage checking which also enables (almost) zero-extra-cost confluence checking for overlapping but order-independent pattern matching.
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
09:00 - 10:00 | |||
09:00 15mTalk | CN: A Refinement Type System for CRemote WITS Christopher Pulte University of Cambridge, UK, Dhruv Makwana University of Cambridge, Kayvan Memarian University of Cambridge, Jean Pichon-Pharabod Aarhus University, Peter Sewell University of Cambridge, Neel Krishnaswami University of Cambridge | ||
09:15 45mOther | Type-aware equational rewriting (discussion)In-Person WITS Richard A. Eisenberg Tweag | ||
09:15 45mOther | Multi case trees: confluence and coverage (discussion)In-Person WITS Tesla Zhang The Pennsylvania State University | ||
09:15 45mOther | Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion)Remote WITS Syouki Tsuyama Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology File Attached | ||
09:15 45mOther | The Expression Problem and Theorem Proving (discussion)Remote WITS Yao Li University of Pennsylvania, Nick Rioux University of Pennsylvania, Stephanie Weirich University of Pennsylvania | ||