Programming Languages and Systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings - Hongseok Yang ((Lecture Notes in Computer Science))