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