15-814 Types and Programming Languages


Students in Section A (in-person expectation) are indeed expected to attend lecture in person whenever possible. Lecture interactions are an important part of the learning experience.

In order to attend class meetings in person, all students are expected to abide by all behaviors indicated in A Tartan's Responsibility, including timely updated based on current conditions. In terms of specific classroom expectations, whenever the requirement to wear a facial covering is in effect on campus, students are expected to wear a facial covering throughout class. Such a requirement is in effect for the start of the Fall 2021 semester.

Lectures will be recorded and made available on Canvas > Zoom. Recordings of class sessions are covered under the Family Educational Rights and Privacy Act (FERPA) and must not be shared with anyone outside the course. Feel free to use the recordings if you would like to review something we discussed in class or if you are temporarily unable to attend class.

Remote Only Interactions

Lectures will be recorded and made available via Canvas > Zoom. In addition, remote-only students may attend the regularly scheduled Zoom office hour and are expected to use Piazza for weekly substantial interaction with the course staff regarding the lecture material.

Office Hours

There will be in-person and Zoom office hours by the instructor and teaching assistant, indicated on the course home page.

Assignment Due Dates

All assignments have due dates indicated on the schedule and assignment pages. In general, submitting assignments on time lets the instructional team provide feedback in a more timely and efficient manner. Assignments build on each other, so timely submissions are crucial to your progress in the class. However, we will not strictly enforce the assignment deadlines. But please note that advance notice is required if your homework is delayed, and grading may take longer for late hand-ins compared to those submitted by the deadline.

Accommodations for Students with Disabilities

If you have a disability and have an accommodations letter from the Disability Resources office, I encourage you to discuss your accommodations and needs with the instructor as early in the semester as possible. We will work with you to ensure that accommodations are provided as appropriate. If you suspect that you may have a disability and would benefit from accommodations but are not yet registered with the Office of Disability Resources, I encourage you to contact them at access@andrew.cmu.edu.

Additional Support

There are a lot of unknowns this semester, which adds to the usual academic stress. Please reach out to me at fp@cs.cmu.edu should you need support, help, or accommodations, or come to the regularly scheduled office hour.

The university also offers support and counseling and we encourage you to take advantage of it if you experience difficult life events, or feelings like anxiety or depression. Counseling and Psychological Services (CaPS) is here to help: call 412-268-2922 and visit their website at http://www.cmu.edu/counseling. Consider reaching out to a friend, faculty or family member you trust for help getting connected to the support that can help.

[ Home | Schedule | Assignments | Resources | Software ]

Frank Pfenning