Elements of Functional Languages

Functional languages Lambda and combinatory calculi Programming and verification Program transformation FP systems Implementation Theoretical foundations Compiler derivation - a worked example in functional programming. Appendix A : Mathematical preliminaries. Appendix B : Computational preliminaries Solutions to exercises.