Comment Type theory and functional programming (Score 1) 223
Someone already mentioned TAOCP, SICP and "Introduction to Algorithms". They are all great.
I'll add "Types and Programming Languages" by Benjamin Pierce to that list, or alternatively "Practical Foundations for Programming Languages" by Robert Harper.
If I were you I'd bring some ebooks on Haskell (+ a cache of libs with their API docs): "Programming in Haskell" by Graham Hutton, "Real World Haskell" by by Don Stewart, Bryan O'Sullivan, and John Goerzen.