Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings - Hermenegildo, Manuel V.; Garrigue, Jacques (Lecture Notes in Computer Science,, 2008)