conf.researchr.org / Éric Tanter
![Éric Tanter](https://conf.researchr.org/getProfileImage/etanter/9bd12954-3541-41ba-9fb4-9ca8e0701371/small.jpg?1725342146000)
Registered user since Mon 13 Oct 2014
Name:Éric Tanter
Country:Chile
Affiliation:University of Chile
Personal website: http://pleiad.cl/people/etanter
Contributions
2025
2024
Unsound
2023
2022
ICFP
2021
SPLASH
2020
SPLASH
WGT
- Committee Member in Program Committee within the WGT-track
- Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track
- Author of Gradual Algebraic Data Types within the WGT-track
- Author of Gradual Typing as if Types Mattered within the WGT-track
- Author of Gradual Program Analysis within the WGT-track
2019
SPLASH
- Author of Gradual Program Analysis within the Posters-track
- Author of Gradual Program Analysis within the SRC-track
- Doctoral Symposium Chair in Organizing Committee
- Chair in Program Committee within the Doctoral Symposium-track
- Committee Member in Review Committee within the OOPSLA-track
- Session Chair of Types (part of OOPSLA)
ICFP
2018
SPLASH
ICFP
- Author of T03: Abstracting Gradual Typing: A Systematic Approach to Designing Gradually Typed Languages within the Tutorials-track
- Committee Member in Program Committee within the Research Papers-track
- Author of Equivalences for Free: Univalent Parametricity for Effective Transport within the Research Papers-track
- 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)