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