i always liked 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.