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

George C. Necula, Philip Wadler (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics