Registered user since Wed 12 Nov 2014
Name:Phúc C. Nguyễn
Contributions
| PLDI 2015 | Relatively Complete Counterexamples for Higher-Order Programs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2015-profile
View general profile
View general profile
PLDI 2015
Sat 13 - Wed 17 June 2015 Portland, Oregon, United States
- Attending
- Program
- Tracks
- Organization
- PLDI 2015 Committees
- Organizing Committee
- Track Committees
- Artifact Evaluation
- Research Papers Program Committee
- Research Papers External Review Committee
- Contributors
- People Index
- Search
- Series