Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings - Garrigue, Jacques (Springer International Publishing : Imprint: Springer, 2014)