Nada Amin

Registered user since Sun 17 Aug 2014

Name:Nada Amin
Country:United States
Affiliation:Harvard University
Personal website:http://namin.net

Contributions

PLDI 2023 Extensible Metatheory Mechanization via Family Polymorphism
Show activities from other conferences

Using general profile