Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings - Shao, Zhong (Springer Berlin Heidelberg, 2007)