Write a Blog >>
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