1. Programming Languages Department, University of Freiburg, Germany, Georges-Köhler-Allee Geb.079, Freiburg 79110, Germany
2. School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan