Stephanie Weirich - POPL 2020

Registered user since Fri 9 Sep 2016

Name:Stephanie Weirich

Country:United States

Affiliation:University of Pennsylvania, USA

Research interests:Functional Programming, Type Systems

Contributions

CoqPL 2020	Committee Member in Program Committee within the CoqPL-track
POPL 2020	Organizing Committee in Organizing Committee within the POPLmark 15 Year Retrospective Panel-track
Show activities from other conferences