VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Éric Tanter

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
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.

Contributions

CoqPL 2016 Formalizing Simple Refinements in Coq
POPL 2016 Abstracting Gradual Typing
Show activities from other conferences

POPL 2016-profile
View general profile