ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
ICFP 2022 (series) / Ronald Garcia
Ronald Garcia

Registered user since Thu 18 Dec 2014

Name:Ronald Garcia
Affiliation:University of British Columbia

Contributions

ICFP 2022 University of British Columbia in Steering Committee
Propositional Equality for Gradual Dependently Typed Programming
Session Chair of Conclusions (part of ICFP Papers and Events)
Show activities from other conferences

ICFP 2022-profile
View general profile