- 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 *
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.
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.