Registered user since Mon 13 Oct 2014
Name:Éric Tanter
Country:Chile
Affiliation:University of Chile & Inria Paris
Personal website: http://pleiad.cl/people/etanter
Contributions
2018
ICFP
- T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages
- Committee Member in Program Committee within the Research Papers-track
- Equivalences for Free: Univalent Parametricity for Effective Transport
- Session Chair of T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages (part of Tutorials)
- Session Chair of Gradual Typing and Proving (part of Research Papers)
ICFP 2018-profile
View general profile
View general profile