Martin Hofmann Matthias Felleisen Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 POPL ACM 2007 1-59593-575-4 db/conf/popl/popl2007.html