Programming languages and systems (vol. # 3780) : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings - Yi, Kwangkeun (Lecture Notes in Computer Science,)