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