Programming languages and systems : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings - APLAS; Shao, Zhong (Springer, 2007)