Registered user since Sun 13 Jan 2019
Name:Georges Gonthier
Affiliation:Inria
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