Programming languages and systems 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17 - 19, 2014 ; proceedings (Springer, 2014)