Next: Requisites
Up: Organization and Administration
Previous: Instructor and Staff
Required Text:
- Carl A. Gunter, Semantics of Programming Languages, MIT Press, 1992, (second edition).
Recommended Texts:
- Simon Thompson, Type Theory and Functional Programming,
Addison-Wesley, 1991.
- Lawrence Paulson, ML for the Working Programmer,
Cambridge University Press.
- Last year's notes will be available for reading on-line.
- Friedman, Wand, and Haynes,
Elements of Programming Languages, The MIT Press, 1991.
This book gives a non-type-theoretical view of the world.
-
Ravi Sethi, Programming Languages: concepts and constructs,
Addison-Wesley, 1989.
This book offers another approach, which is to give many examples
of programming languages and let you form your own theories.
- David A. Schmidt, The Structure of Typed Programming Languages,
MIT Press, 1994.
- G. Winskel, Formal Semantics of Programming Languages.
MIT Press, 1993.