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