Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Éric Tanter

Registered user since Mon 13 Oct 2014

Name: Éric Tanter

Affiliation: University of Chile

Personal website: http://pleiad.cl/people/etanter


CPP 2021 Gradualizing the Calculus of Inductive Constructions
Show activities from other conferences

POPL 2021-profile
View general profile