Functional and logic programming 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings / [electronic resource] :
Jacques Garrigue, Manuel Hermenegildo (eds.).
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- xi, 336 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 4989 0302-9743 ; .