ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Registered user since Thu 10 Nov 2016

Name:Guido Martínez
Country:United States
Affiliation:Microsoft Research
Research interests:Programming Languages, Formal verification, Proof assistants, Type theory

Contributions

ICFP 2023 Local Organization Co-Chair in Organizing Committee
Show activities from other conferences

Using general profile