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

Zhong Shao, Benjamin C. Pierce (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics