Marco Gavanelli, John Reppy

Practical Aspects of Declarative Languages - Springer 2016 - Lecture Notes in Computer Science .

9783319282282

Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity