Registered user since Mon 13 Oct 2014

Name: Éric Tanter

Affiliation: University of Chile, Chile

Personal website: http://pleiad.cl/people/etanter

POPL 2017 Activities

• Author of Gradual Refinement Types within the POPL-track in POPL 2017
• Show activities from other conferences