"Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice ..."

Vivek Sarkar, Lawrence Rauchwerger (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics