Stephanie Weirich - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

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

2018

CPP

CoqPL

Locally Nameless at Scale

POPL

Show activities from other conferences

POPL 2018-profile
View general profile