Stephanie Weirich - POPL 2018

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

CPP 2018	Total Haskell is Reasonable Coq Committee Member in Program Committee within the CPP 2018-track
CoqPL 2018	Locally Nameless at Scale
POPL 2018	Committee Member in Program Committee within the Research Papers-track POPL 2019 Preview
Show activities from other conferences