15-814 Types and Programming Languages
Assignments
- Assignments generally are given out Tuesday and are due the following Tuesday.
After the midsemester break, we switch to a Thursday to Thursday schedule.
- Unless otherwise noted, assignments are individual assignments. They must
represent your own work. You may consult any public resources such as papers,
reports, lecture notes, etc. but you must explicitly credit such external resources in
your answers. You are not permitted to draw upon assignments or solutions from
previous instances of this course or other courses in preparing your work. Carnegie
Mellon's policy on academic
integrity applies to this course.
- The use of generative AI tools, such as ChatGPT, is permitted in this
course under the following conditions: Any use of an AI tool must be
explicitly acknowledged and cited. You must include the specific tool used,
the date of use, and the initial prompts in your submitted work. You are
ultimately responsible for the content of your submission.
- Some problems may be explicitly annotated as allowing collaboration, with a
problem-specific policy spelled out.
- Homeworks may require small implementations, or write-ups with
LaTeX or with pencil and paper and scanned as a (legible!)
PDF.
- If you want to typeset your answers, some sample LaTeX
lecture notes and necessary style file are included in the
handout source
hwNN.zip file.
- Emphasis is on correctness and
elegance. Some assignments may be difficult. If
you cannot do them, write down your thoughts, but never hand back an
incorrect "proof".
- Written homeworks are due at 11:59pm on the due date.
- Homework may be handed in late without penalty if the
instructor is notified in advance.
See Assignment Due Dates.
- Assigments should be submitted as PDFs
via Gradescope
or as Lambda source file, as specified in each assignment.
- We will try our best to return graded homework before lecture the week following
after the due date.
[ Home
| Schedule
| Assignments
| Resources
| Software
]
fp@cs
Frank Pfenning
|