Programming languages and systems 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9 -11, 2013 ; proceedings - Shan, Chung-chieh (Springer, 2013)