Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings - Jhala, Ranjit; Igarashi, Atsushi (Springer Berlin Heidelberg : Imprint: Springer, 2012)