Proceedings of the 2008 ACM SIGPLAN workshop on ML - Sumii, Eijiro (Association for Computing Machinery, 2008)