Marco T. Moraz�n, Sven-Bodo Scholz

Implementation and Application of Functional Languages - 2010

978-3-642-16478-1


Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science