Resources
The following are some of the resources available to students of this course. If you feel at any point that you need additional assistance, please let us know!
Instructor
The instructor for this course is Zachary Palmer. My office hours are as follows:
| Monday | 12:00pm - 1:30pm |
| Wednesday | 1:00pm - 2:30pm |
| Thursday | 10:00am - 11:30am |
You can also contact me via e-mail (zachary --dot-- palmer --at-- swarthmore --dot-- edu) to make an appointment or just ask a question. You’re also welcome to drop by anytime my door is open; I’ll help if I’m around and available. My office is Martin 238.
Course Forum
We have a course forum where you can ask questions and discuss the course material. When posting public questions, please make sure to follow the Academic Integrity Policy: don’t give answers to homework in your public posts, for instance.
Textbook
The textbook for this course is Principles of Programming Languages by Scott F. Smith. The book is free and is released under the Creative Commons Attribution-Share Alike 3.0 United States License.
The book Real World OCaml is also freely available. It contains a wealth of information about the OCaml programming language (although we likely will not use material beyond the first few chapters).
Guides
There are a number of guides linked throughout the site. This is a comprehensive list of them.
-
OCaml Setup: Instructions for setting up OCaml.
-
OCaml Development Environment Setup: Instructions for setting up a good OCaml development environment.
-
OCaml Remote Development Environment Setup: Instructions for using the CS network together with your own computer to develop in OCaml.
-
OCaml Transition Guide: A collection of OCaml examples for programmers who know Python or C++.
-
Producing Inference Rules With irtex: A description of how to use the irtex.py tool to typeset inference rules and proofs.
-
CS73 LaTeX Guide: A basic introduction to LaTeX for the purposes of this course.
Academic Accommodations
If you believe you need accommodations for a disability or a chronic medical condition, please visit the Student Disability Services website for details about the accommodations process. Since accommodations require early planning and are not retroactive, contact Student Disability Services as soon as possible. You are also welcome to contact your instructor privately to discuss your academic needs. However, all disability-related accommodations must be arranged, in advance, through Student Disability Services.