Includes supplementary material: sn.pub/extras
Thomas Arts
Clean Compiler Erlang Programming Functional Languages Functional Programming Functional Theorem Proving Paralell Programming Programming Language Implementation Programming Languages Scheme optimization programming theorem proving