Functional and logic programming : 9th International Symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings - Garrigue, Jacques; Hermenegildo, Manuel de, 1959- (Lecture notes in computer science ;, 2008)