VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Peter-Michael Osera

Registered user since Tue 17 Feb 2015

Name:Peter-Michael Osera
Country:United States
Affiliation:Grinnell College
Research interests:Programming Languages, Computer Science Education

Contributions

POPL 2016 Example-Directed Synthesis: A Type-Theoretic Interpretation
Show activities from other conferences

POPL 2016-profile
View general profile