One interesting text I have not yet seen referenced is:
"Functional Programming", by A. Field & P. Harrison,
Addison-Wesley, 1988 ISBN 0-201-19249-7.
It is heavy into Hope, conbinators, and graph reduction and has
chapters on Memoization, Garbage Collection {one of the few good
gc write-ups I have seen in a text}, abstract interpretation, etc.
-Ken Dickey