Steve Zdancewic

Registered user since Tue 9 Jun 2015

Name:Steve Zdancewic
Country:United States
Affiliation:University of Pennsylvania
Research interests:Programming Languages, Type Theory, Logic


CoqPL 2018 Session Chair of PL Metatheory (part of )
Phantom Types for Quantum Programs
PLMW 2018 Committee Member in Organizers within the PLMW-track
POPL 2018 Synthesizing Bijective Lenses
Synthesizing Bijective Lenses
Show activities from other conferences

POPL 2018-profile
View general profile