POPL 2025 (series) / WITS 2025 (series) /
WITS 2025 Program
This is the WITS 2025 program - see the full program for POPL 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 25 JanDisplayed time zone: Mountain Time (US & Canada) change
Sat 25 Jan
Displayed time zone: Mountain Time (US & Canada) change
09:00 - 10:30 | |||
09:00 60mKeynote | Invited Talk: Type inference in OCaml and GHC using Levels WITS Richard A. Eisenberg Jane Street | ||
10:00 30mTalk | Towards Generic Higher-Order Unification Implementations in HaskellRemote WITS Nikolai Kudasov Innopolis University, Artem Starikov Innopolis University, Fedor Ivanov Innopolis University, Damir Alfiatonov Innopolis University File Attached | ||
11:00 - 12:30 | |||
11:00 30mTalk | Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract SyntaxRemote WITS Nikolai Kudasov Innopolis University, Anastasia Smirnova Innopolis University, Vladislav Deryabkin Innopolis University, Diana Tomilovskaia Innopolis University, Ekaterina Maksimova Innopolis University File Attached | ||
11:30 30mTalk | McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef Type Theory WITS Junyoung Jang McGill University, Jason Z.S. Hu Amazon Web Services, USA, Antoine Gaulin McGill University, Brigitte Pientka McGill University Pre-print File Attached | ||
12:00 30mTalk | Eta conversion for the unit type (is still not that simple)Remote WITS András Kovács University of Gothenburg and Chalmers University of Technology File Attached | ||
14:00 - 15:30 | |||
14:00 30mOther | Collaboration Time 1 WITS | ||
14:30 30mTalk | Semantic Analysis of Normalisation for Directional Logic ProgrammingRemote WITS Vikraman Choudhury Università di Bologna & Inria OLAS, Neel Krishnaswami University of Cambridge, Ariadne Si Suo University of Cambridge File Attached | ||
15:00 30mTalk | Incremental Bidirectional Typing via Order Maintenance WITS Thomas J. Porter University of Michigan, Marisa Kirisame University of Utah, Liam Mulcahy University of Michigan, Pavel Panchekha University of Utah, Cyrus Omar University of Michigan File Attached | ||
16:00 - 17:30 | |||
16:00 30mOther | Collaboration Time 2 WITS | ||
16:30 30mTalk | Formalizing locally nameless syntax with cofinite quantification WITS Elif Uskuplu Indiana University, Bloomington File Attached | ||
17:00 30mOther | Closing WITS | ||