Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings - Yang, Hongseok (Springer Berlin Heidelberg : Imprint: Springer, 2011)