Peter-Michael Osera - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

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

2016

POPL

Example-Directed Synthesis: A Type-Theoretic Interpretation

Show activities from other conferences

POPL 2016-profile
View general profile