Manuel Serrano, Jurriaan Hage

Trends in Functional Programming - Springer 2016 - Lecture Notes in Computer Science .

9783319391106

Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages