Registered user since Tue 9 Jun 2015
Name: Michael Emmi
Country: United States
Affiliation: SRI International
Personal website: http://michael-emmi.github.io
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 Symposiums
- PADL
- Organization
- POPL 2019 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Research Papers
- Artifact Evaluation
- TutorialFest
- Student Research Competition
- Contributors
- People Index
- Search
- Series