Skip to main content

Browsing by Author Pierce, Benjamin C

Showing results 1 to 2 of 2
Publication DateArticle TitleAuthor(s)
Sep-2017Position paper: the science of deep specificationAppel, Andrew W; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C; Shao, Zhong; et al
Jul-2018Synthesizing quotient lensesMaina, Solomon; Miltner, Anders; Fisher, Kathleen; Pierce, Benjamin C; Walker, David; et al