Browsing by Author Pierce, Benjamin C
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 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 |