Zhong Shao Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings APLAS Lecture Notes in Computer Science 4807 Springer 2007 978-3-540-76636-0 db/conf/aplas/aplas2007.html