Atsushi Ohori Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings APLAS Lecture Notes in Computer Science 2895 Springer 2003 3-540-20536-5 db/conf/aplas/aplas2003.html