
The ideas central to pure functional (or applicative) programming, including expression, semantics, and implementation.
seconding this recommendation from the OP. I sold my copy ~20 years ago but remember it as quite good.
Henderson's FP book: https://www.amazon.com/Functional-Programming-Application-Im...
Watson's Lisp: https://www.amazon.com/Lisp-3rd-Patrick-Winston/dp/020108319...
If you're interested in this implementation, you'll find that book very interesting, and quite similar I think (based on reading the link).
(The book has a now-amusing appendix too where it lists the "object" code for the compiler in sexp-syntax, presuming that you'd have no other way to bootstrap other than typing that in :)
This <https://github.com/carld/lispkit> looks like a good repo if you want to know more, although I'm not related to it in any way.
I can't say how it compares the book by Kogge mentioned in this post since I haven't read that, but I can say I think it's an excellent book and worth reading if you're interested in this kind of thing.