TY - BOOK AU - Blume, Matthias, ed. AU - Kobayashi, Naoki, ed. AU - Vidal, German, ed. TI - Functional and logic programming : 10th interantional symposium,FLOPS 2010 Sendai, Japan, April 19-21, 2010 proceedings SN - 9783642122507 CY - New York KW - Functional programming KW - International symposium(10th), FLOPS 2010, Japan -- Functional and Logic programming KW - Logic programming N1 - Includes bibliographical references and index ER -