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 8. 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.
Blackboard
Blackboard will be used for three things in the course:
- Course announcements will be posted there;
- The Discussion board is a key place to ask questions on course material; the professor, TA, and your fellow students will be able to answer questions.
- Assignments will be submitted there and grades posted.
The Questions and Discussions forum is a critical course resource; please ask questions you have there, and the professor, TA, and 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.
Office Hours
Information about office hours and other contact information can be found on the Contact Information page.Grading
Approximately 2/3 of the grade will be from assignments and 1/3 from the final examination.