Write a Blog >>
Peter-Michael Osera

Registered user since Tue 17 Feb 2015

Name: Peter-Michael Osera

Country: United States

Affiliation: Grinnell College

Personal website: http://www.cs.grinnell.edu/~osera

Research interests: Programming Languages, Computer Science Education

Contributions

POPL 2016Author of Example-Directed Synthesis: A Type-Theoretic Interpretation within the Research Papers-track
Show activities from other conferences

POPL 2016-profile
View general profile