"Proceedings of the 26th 2014 International Symposium on Implementation and ..."

Sam Tobin-Hochstadt (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics