Benjamin C. Pierce: The science of deep specification (keynote). SPLASH (Companion Volume) 2016: 1