Jay McCarthy Trends in Functional Programming - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783642453403 Subjects--Index Terms: Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs