Write a Blog >>
Pierre Neron

Registered user since Mon 5 Jan 2015

Name: Pierre Neron

Country: France

Affiliation: TU Delft

Personal website: http://www.lix.polytechnique.fr/~neron/

Research interests: Programming Languages, Type systems, Formal Methods, Verification


PEPM 2016Author of A Constraint Language for Static Semantic Analysis Based on Scope Graphs within the PEPM-track
Show activities from other conferences

POPL 2016-profile
View general profile