Garrigue, Jacques (ed.) et al., Functional and logic programming. 9th international symposium, FLOPS 2008, Ise, Japan, April 14–16, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78968-0/pbk). Lecture Notes in Computer Science 4989, 289-304 (2008).