WITS 2025 Contributors

Sat 25 Jan 2025 Denver, Colorado, United States

co-located with POPL 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (29)

A Damir AlfiatonovAlfiatonov, Damir Innopolis University Towards Generic Higher-Order Unification Implementations in Haskell
B Andrej BauerBauer, Andrej University of LjubljanaSlovenia Committee Member in Program Committee within the WITS-track
C Jacques CaretteCarette, Jacques McMaster UniversityCanada Committee Member in Program Committee within the WITS-track
Vikraman ChoudhuryChoudhury, Vikraman Università di Bologna & Inria OLASItaly Semantic Analysis of Normalisation for Directional Logic Programming
D Vladislav DeryabkinDeryabkin, Vladislav Innopolis University Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax
G Antoine GaulinGaulin, Antoine McGill University McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef Type Theory
H Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States Committee Member in Program Committee within the WITS-track
Jason Z.S. HuHu, Jason Z.S. McGill UniversityCanada McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef Type Theory
I Fedor IvanovIvanov, Fedor Innopolis University Towards Generic Higher-Order Unification Implementations in Haskell
J Junyoung JangJang, Junyoung McGill UniversityCanada McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef Type Theory
K Marisa KirisameKirisame, Marisa University of UtahUnited States Incremental Bidirectional Typing via Order Maintenance
András KovácsKovács, András University of Gothenburg and Chalmers University of Technology Eta conversion for the unit type (is still not that simple)
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom Semantic Analysis of Normalisation for Directional Logic Programming
Nikolai KudasovKudasov, Nikolai Innopolis UniversityRussia Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax Towards Generic Higher-Order Unification Implementations in Haskell
M Ekaterina MaksimovaMaksimova, Ekaterina Innopolis University Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax
Liam MulcahyMulcahy, Liam University of Michigan Incremental Bidirectional Typing via Order Maintenance
N Chandrakana NandiNandi, Chandrakana CertoraUnited States Committee Member in Program Committee within the WITS-track
O Cyrus OmarOmar, Cyrus University of MichiganUnited States Incremental Bidirectional Typing via Order Maintenance
P Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Incremental Bidirectional Typing via Order Maintenance
Brigitte PientkaPientka, Brigitte McGill UniversityCanada McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef Type Theory
Thomas J. PorterPorter, Thomas J. University of MichiganUnited States Incremental Bidirectional Typing via Order Maintenance
S Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance Committee Member in Program Committee within the WITS-track
Anastasia SmirnovaSmirnova, Anastasia Innopolis University Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax
Artem StarikovStarikov, Artem Innopolis University Towards Generic Higher-Order Unification Implementations in Haskell
Ariadne Si SuoSuo, Ariadne Si University of Cambridge Semantic Analysis of Normalisation for Directional Logic Programming
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Committee Member in Program Committee within the WITS-track
T Diana TomilovskaiaTomilovskaia, Diana Innopolis University Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax
U Sebastian UllrichUllrich, Sebastian Lean FROGermany Chair in Program Committee within the WITS-track
Elif UskupluUskuplu, Elif Indiana University, Bloomington Formalizing locally nameless syntax with cofinite quantification