"Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of ..."

Manuel V. Hermenegildo, Jens Palsberg (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics