Registered user since Tue 5 Feb 2019
Name:Renato Neves
Affiliation:University of Minho & INESC TEC
Personal website: http://alfa.di.uminho.pt/~nevrenato/
Contributions
2019
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