Not registered as user yet
Name: Peter Lefanu Lumsdaine
POPL 2017 Activities
POPL 2017-profile
View general profile
View general profile
- Attending
- Program
- Tracks
- Co-hosted Conferences
- CPP 2017
- VMCAI 2017
- Co-hosted Workshops
- PPS 2017
- CoqPL 2017
- N40AI 2017 Next 40 years of Abstract Interpretation
- Off the Beaten Track 2017 OBT
- PEPM 2017
- PLMW
- PiP 2017
- RDP 2017
- SCM 2017
- TTT 2017
- Co-hosted Symposiums
- PADL 2017
- Committees
- Search
- Other Editions