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.
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.
|CoqPL 2016||Formalizing Simple Refinements in Coq|
|POPL 2016||Abstracting Gradual Typing|
|Show activities from other conferences|
View general profile