I took the second edition of Grossman's course and it was very good. Kickzales's Introduction to Program Design was also good as was Pascal Van Hentenryck's Discrete Optimization - his enthusiasm is infectious.

Odersky himself is teaching Functional Programming in Scala later this month, and I'm looking forward to that.