Programming languages and systems : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings - Shao, Zhong (Lecture Notes in Computer Science, 2007)