Programming languages and systems third Asian symposium,APLAS 2005, Tsukuba, Japan, November 2 - 5, 2005 ; proceedings (Springer, 2005)