Field, A., Harrison P. — Functional programming

\r

The first part of the book provides an overview of the FP, the second basis for the implementation of fya (lambda calculus, types, eval-apply, SECD machine, graph reduction, combinatorial reduction, garbage collection). In the app you can read about denotational semantics. The second part is the most valuable.