Glad to see a list that doesn't just rehash the same books/papers. The Purely Functional Data Structures suggestion looks like a great read