Registered user since Mon 6 Jan 2020
Name:Federico Pizzuti
Affiliation:University of Edinburgh
Contributions
| FHPNC 2021 | Generating High Performance Code for Irregular Data Structures using Dependent Types | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2021-profile
View general profile
View general profile