Functional and logic programming : 9th International Symposium, FLOPS 2008 : Ise, Japan, April 14-16, 2008 : proceedings - Garrigue, Jacques (Springer, 2008)