Browsing by Author Zdancewic, Steve
Showing results 1 to 3 of 3
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Jan-2016 | Example-directed synthesis: a type-theoretic interpretation | Frankle, Jonathan; Osera, Peter-Michael; Walker, David; Zdancewic, Steve |
| Sep-2017 | Position paper: the science of deep specification | Appel, Andrew W; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C; Shao, Zhong; et al |
| Jul-2018 | Synthesizing quotient lenses | Maina, Solomon; Miltner, Anders; Fisher, Kathleen; Pierce, Benjamin C; Walker, David; et al |