Resources

Lectures

Lectures are the main source of information in this course. Attendance is not mandatory but strongly encouraged if you want to succeed.

The times of the weekly lectures are as follows.

• Tue, 11:00 am - 12:20 pm, GHC 4303
• Thu, 11:00 am - 12:20 pm, GHC 4303

The lectures are in person and there will be no recordings or support for remote participation.

For lectures that differ from the content in the textbook, we will publish lecture notes on the course website.

Office Hours

Jan Hoffmann:

• Thu, 12:30 - 1:30 pm, GHC 9105

Textbook

Lecture notes will be published successively on the course website.

Foudational programming-language concepts are described in Bob Harper’s PFPL:

Robert Harper, Practical Foundations for Programming Languages (Second Edition), Cambridge University Press, 2016.

PFPL is available as an e-book through CMU Libraries.

Discussions and Questions

We will use Ed Discussion for discussions.

Please post all questions you may have on Ed. You have the option to make your questions private but please consider making public posts for the benefit of your peers. There is an option to remain anonymous for other students. Instructors are always able to see your identity.

Submitting Assignments

You will submit your assignment on Gradescope.

Latex

See The LaTex Project for information about LaTex.