Programming Languages and Systems : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings - Ranjit Jhala, Atsushi Igarashi ((Lecture Notes in Computer Science))