1-6 of 6 Books

Purely functional data structures
By Chris Okasaki

Translating relationalqueries into iterative programs
By Johann Christoph Freytag

The Implementation of Functional Programming Languages
By Simon L. Peyton Jones

Graph Reduction
By Joseph H. Fasel,Robert M. Keller

Combinators and functional programming languages
By Guy Cousineau