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:
| Tuesday | 1:30 - 3:00 PM |
| Wednesday | 10:00 - 11:30 AM |
| Thursday | 1:30 - 3:00 PM |
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 even welcome to drop by anytime my door is open; I’ll help if I’m around and available. My office is Science Center 270.
Piazza
Our course has a Piazza 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.
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 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.
Computer Lab
You can use your student ID card to gain access to the computer labs during the nights and on weekends. Just wave your ID over the card reader next to the lab doors. When the green light turns on, just push the door to get in (the knob will not turn). If you have problems getting in, visit Bridget in the department office or send her an e-mail (local-staff --at-- cs.swarthmore.edu) to have your number added to the system. If the building is locked, you can use your ID to enter the door between Martin and Cornell library. For this class, you will have access to Science Center 238, 240, and 256 as well as Clothier 016.
Academic Accommodations
If you believe that you need accommodations for a disability, please contact the Office of Student Disability Services (Parrish 113W) or email studentdisabilityservices at swarthmore.edu to arrange an appointment to discuss your needs. As appropriate, the Office will issue students with documented disabilities a formal Accommodations Letter. Since accommodations require early planning and are not retroactive, please contact the Office of Student Disability Services as soon as possible. For details about the accommodations process, visit the Student Disability Service Website. You are also welcome to contact your professor privately to discuss your academic needs. However, all disability-related accommodations must be arranged through the Office of Student Disability Services.