![Steve Zdancewic](https://conf.researchr.org/getProfileImage/stevezdancewic/efe97cfa-6b6b-4e0f-b8b0-1a17ff540d87/small.jpg?1711454593000)
Registered user since Tue 9 Jun 2015
Name:Steve Zdancewic
Country:United States
Affiliation:University of Pennsylvania
Personal website: http://www.cis.upenn.edu/~stevez
Research interests:Programming Languages, Type Theory, Logic
Contributions
2017
Haskell
ICFP 2017-profile
View general profile
View general profile