SPLASH 2013
Sat 26 - Thu 31 October 2013 Indianapolis, United States
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

Contributions

SPLASH 2013 Ironclad C++: A Library-Augmented Type-Safe Subset of C++
Teaching Induction with Functional Programming and A Proof Assistant
Show activities from other conferences

SPLASH 2013-profile
View general profile