Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings - Yi, Kwangkeun (Springer Berlin Heidelberg, 2005)