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 | Author of A Theory of Name Resolution within the ESOP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESOP 2015-profile
View general profile
View general profile