![Stephanie Balzer](https://icfp18.sigplan.org/getProfileImage/stephaniebalzer/1918d56d-ef62-491f-9a69-c71de4663a17/small.jpg?1711475511000)
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
ICFP 2018-profile
View general profile
View general profile