Browsing by Author Osera, Peter-Michael
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Jan-2016 | Example-directed synthesis: a type-theoretic interpretation | Frankle, Jonathan; Osera, Peter-Michael; Walker, David; Zdancewic, Steve |