"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming ..."

Giuseppe Castagna, Andrew D. Gordon (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics