Mara Malewski Correa - ICFP 2024

Mon 2 - Sat 7 September 2024 Milan, Italy

Registered user since Tue 10 Nov 2020

Name:Mara Malewski Correa

Country:Chile

Affiliation:University of Chile

Personal website: https://users.dcc.uchile.cl/~smalewsk/

GitHub: https://github.com/smalewski

Contributions

2024

ICFP

Gradual Indexed Inductive Types

Show activities from other conferences

ICFP 2024-profile
View general profile