Registered user since Fri 9 Sep 2016
Name:Stephanie Weirich
Country:United States
Affiliation:University of Pennsylvania, USA
Personal website: https://www.cis.upenn.edu/~sweirich/
Research interests:Functional Programming, Type Systems
Contributions
POPL 2020-profile
View general profile
View general profile