Ayaz Hafiz -

Registered user since Thu 17 Jun 2021

Name:Ayaz Hafiz

Contributions

2024

WITS

Author of Type-directed defunctionalization in the presence of typeclasses and monomorphization within the WITS 2024-track