SPLASH 2012 (series) / Stephanie Balzer

Registered user since Thu 5 Jun 2014
Name:Stephanie Balzer
Country:United States
Affiliation:Carnegie Mellon University, USA
Personal website:http://www.cs.cmu.edu/~balzers/
Research interests:Programming languages, program verification, type theory, and logic
Contributions
FOOL 2012 | Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2012-profile
View general profile
View general profile