Steve Zdancewic - ICFP 2018 (original) (raw)

Registered user since Tue 9 Jun 2015

Name:Steve Zdancewic

Country:United States

Affiliation:University of Pennsylvania

Research interests:Programming Languages, Type Theory, Logic

Contributions

2018

Show activities from other conferences