Registered user since Mon 13 Oct 2014

Name: Éric Tanter

Bio: I am a Full Professor at the University of Chile and a member of the PLEAID laboratory, which is dedicated to research on new software development techniques.

Country: Chile

Affiliation: University of Chile, Chile

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

Research interests: Programming and Programming Languages: design, semantics, implementation, analysis, type systems software modularity and adaptability objects, functions, aspects, reflection, meta-programming, concurrency, distribution, mobility.

POPL 2016 Activities

• Author of Formalizing Simple Refinements in Coq within the CoqPL-track in CoqPL
• Author of Abstracting Gradual Typing within the Research Papers-track in POPL 2016
• Show activities from other conferences