Semantics of Programming Languages
- Nick Benton
Lecture Notes for the Computer Science Tripos part IB |
This course is about understanding and reasoning about programs and programming languages. Any programming language an be studied at a number of dierent (but related) levels.