Registered user since Fri 3 Jul 2015

Name: Constantin Enea

Affiliation: LIAFA, Université Paris Diderot

POPL 2016 Activities

• Author of Symbolic Abstract Data Type Inference within the Research Papers-track in POPL 2016
• Show activities from other conferences