Includes supplementary material: sn.pub/extras
Herbert Kuchen
Lambda Calculus Logic Programming Meta-Programming Partial Evaluation Program Transformation Programm Analysis Type Systems functional programming logic programming