Programming Languages and Systems : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings - Zhong Shao ((Lecture Notes in Computer Science))