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

	
		OSZAR »