Naoki Kobayashi Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings APLAS Lecture Notes in Computer Science 4279 Springer 2006 3-540-48937-1 db/conf/aplas/aplas2006.html