Not registered as user yet
Name: Alan Schmitt
Affiliation: Inria
Contributions
| CPP 2018 | Author of HOpi in Coq within the CPP 2018-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile
POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
- Attending
- Program
- Tracks
- Co-hosted Conferences
- CPP 2018
- VMCAI 2018
- Co-hosted Workshops
- PPS 2018
- CoqPL 2018
- NetPL 2018
- Off the Beaten Track 2018
- PEPM 2018
- PLMW 2018
- PriSC 2018
- Co-hosted Symposiums
- PADL 2018
- Committees
- Co-hosted Conferences
- CPP 2018
- VMCAI 2018
- Co-hosted Workshops
- PPS 2018
- CoqPL 2018
- NetPL 2018
- Off the Beaten Track 2018
- PEPM 2018
- PLMW 2018
- PriSC 2018
- Co-hosted Symposiums
- PADL 2018
- Search
- Other Editions