Functional and logic programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings - Fuji International Symposium on Functional and Logic Programming 2010 : Sendai-shi (Miyagi-ken, Japan)); Blume, Matthias; Kobayashi, Naoki; Vidal, German; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Functional programming (Computer science) -- Congresses; Logic programming -- Congresses; Computer Science; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Programming Techniques