Benjamin C. Pierce. The science of deep specification (keynote). In Eelco Visser, editor, Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016. pages 1, ACM, 2016. [doi]
Abstract is missing.