Zhong Shao Benjamin C. Pierce Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009 POPL ACM 2009 978-1-60558-379-2 db/conf/popl/popl2009.html