Proceedings of the 10th international conference on Functional and Logic Programming - Blume, Matthias; Kanade, Takeo; Kobayashi, Naoki; Vidal, Germán; Association for Computing Machinery-Digital Library; Vidal-Oriola, Germán (Springer Berlin Heidelberg, 2010)
Keywords: Information Technology -- Software Engineering