PLDI 2023
Sat 17 - Wed 21 June 2023 Orlando, Florida, United States
PLDI 2023 (series) / Nada Amin
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