Registered user since Wed 7 Mar 2018
Name:Théo Winterhalter
Country:France
Affiliation:Gallinette / Inria / LS2N
Research interests:Type theory, Proof theory
Contributions
POPL 2019-profile
View general profile
View general profile
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
- Attending
- Program
- Tracks
- Co-hosted Conferences
- CPP
- VMCAI
- Workshops
- BEAT
- CoqPL
- LAFI (né PPS)
- OPCT
- Off the Beaten Track
- PEPM
- PLMW @POPL
- PriSC
- Co-hosted Symposia
- PADL
- Organization
- POPL 2019 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Research Papers
- Artifact Evaluation
- TutorialFest
- Student Research Competition
- Contributors
- People Index
- Search
- Series