|
This course site, especially the lecture notes, contain some interesting stuff.
I particularly recommend the notes on denotaional semantics and domain theory which provide a short and easy intro into this arcane - but important - subject.
Posted to theory by Ehud Lamm on 8/3/01; 3:54:29 AM
|
|
CS 6520: Programming Languages and Semantics
