Wei-Ngan Chin Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings APLAS 3-540-23724-0 3302 2004 Lecture Notes in Computer Science Springer db/conf/aplas/aplas2004.html