
Registered user since Mon 5 Jan 2015
Name: Pierre Neron
Country: France
Affiliation: TU Delft
Personal website: https://pneron.github.io/
Research interests: Programming Languages, Type systems, Formal Methods, Verification
Contributions
ESOP 2015 | A Theory of Name Resolution | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ESOP 2015-profile
View general profile
View general profile