General:

Evan Cheng - http://www.cs.colorado.edu/~bec/courses/csci5535-s10/
http://www.cs.colorado.edu/~bec/courses/csci5535-s10/slides/
CSCI5535-s9-FundamentalsOfProgrammingLanguages.7z
CSCI5535-s10-FundamentalsOfProgrammingLanguages.7z


Abstract Interpretation:
MIT 16.399 - Abstract Interpretation (http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/)


Operational Semantics:

http://www.scss.tcd.ie/Matthew.Hennessy/slexternal/lectures.php


Denotational Semantics:

http://takeichi.ipl-lab.org/lecture/latest/index.php?plugin=attach&pcmd=open&file=CompDomain.pdf
http://takeichi.ipl-lab.org/lecture/latest/index.php?%B7%D7%BB%BB%A5%E2%A5%C7%A5%EB%A4%CE%BF%F4%CD%FD2011