Here you can find lists of great Programming Languages books are or have been used to teach courses at Harvard.
By: Benjamin C. Pierce
By: Robert Harper
By: John C. Mitchell
By: Glynn Winskel
By: Shriram Krishnamurthi