Programming Languages Course Information
Textbook
The textbook for the course is the on-line Book, which is an extended version of the lecture notes. The course will cover almost the whole book from beginning to end, but leaving out Chapter 7. The book doesn't contain an introduction to Caml; we will be doing running examples in class as the lecture. See the Caml page for material on leaning Caml. Some of the later lecture topics are also not in the book, but the lecture notes are found on the dateline.
The Course Bulletin Board
The course bulletin board is on the menu, BBoard. You will need to register for the bboard using the Register link; please do that immediately so you can see the course announcements posted to the bulletin board. You will be notified by email as well when there is a new announcement, to make sure you do not miss any critical announcements.
The bulletin board also has a forum for questions and discussions; please ask questions you have there, and the prof and TA's or fellow students will answer them.
Assignments
All assignments are found in the assignments directory.There will be three kinds of assignments
- Small programming assignments in Caml so you can learn the language, at the start of the course.
- The implementation of a series of simple interpreters and translators in Caml.
- Written assignments covering topics in the mathematical theory of programming languages.
Grading
Approximately 2/3 of the grade will be from assignments and 1/3 from an examination. I hope I can give lots of A's.