
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
Registered user since Wed 12 Nov 2014
Contributions
PLDI 2015 | Relatively Complete Counterexamples for Higher-Order Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |