i always liked http://www.amazon.com/The-Functional-Approach-Programming-Cousineau/dp/0521576814 http://www.amazon.com/The-Functional-Approach-Programming-Co...

i always liked http://www.amazon.com/The-Functional-Approach-Programming-Cousineau/dp/0521576814 http://www.amazon.com/The-Functional-Approach-Programming-Co... although it's quite old and uses ml (caml - imagine it's similar to ocaml, or even f#). in fact, i preferred it to SICP.