Steve Zdancewic - POPL 2018

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

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