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