Registered user since Fri 11 Dec 2015
Name: Thorsten Altenkirch
Affiliation: University of Nottingham
POPL 2018 Activities
Using general profile
POPL 2018
Mon 8 - Sat 13 January 2018 Los Angeles, California, United States
- Attending
- Tracks
- Co-hosted Conferences
- CPP 2018
- VMCAI 2018
- Co-hosted Workshops
- PPS 2018
- Coq for PL 2018 CoqPL-2018
- NetPL 2018
- Off the Beaten Track 2018
- PEPM 2018
- PriSC 2018
- Co-hosted Symposiums
- PADL 2018
- Committees
- Search
- Other Editions