Programming languages and systems 7th Asian symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / - Hu, Zhenjiang, (Springer,)