1) Great video lectures from University of Washington:

CSE P 501 Compiler Construction - Autumn 2009
www.cs.washington.edu/education/courses/csep501/09au/lectures/video.html *


2) SICP http://groups.csail.mit.edu/mac/classes/6.001/abelson-sussman-lectures/
And the book with the same name. This is actually a mandatory for any software engineer out there.


3) Also, about functional programming, Haskell, lambda calculus, semantics (including denotational) and compiler implementation for functional languages.
You can start from 2005-SS-FP.V10.2005-05-24.HDV if you already know Haskell.
*Uxx* videos are answers. Please follow *Vxx* videos first.

http://video.s-inf.de/#FP.2005-SS-Giesl.(COt).HD_Videoaufzeichnung

(videos are in English, other courses are in German though.)

* new users can only post a maximum of two hyperlinks.