- 26-Apr: Practice final exam released. You can see it on Canvas (links for College students and Extension students or go to Pages->Practice Exams).
- 12-Apr: Assignment 6 released!
- 6-Apr: Some Rust exercises to help you get familiar with programming in Rust.
- 5-Apr: Assignment 5 released!
- 22-Mar: Assignment 4 released!
- Old news...
This course is an introduction to the theory, design, and implementation of programming languages. Topics covered in this course include: formal semantics of programming languages (operational, axiomatic, denotational, and translational), type systems, higher-order functions and lambda calculus, laziness, continuations, dynamic types, monads, objects, modules, concurrency, and communication.
See the lecture schedule for more detailed information on topics covered.
- Instructor: Stephen Chong
- Teaching Fellows:
- Aaron Bembenek
- Robbie Gibson
- Thomas Jiang
- Luis Perez
Time and place
Tuesdays and Thursdays, 10:00am-11:30am, in Maxwell Dworkin G125.
Computer Science 51. Also recommended is Computer Science 121. Students must have good programming skills, be very comfortable with recursion, proofs, basic mathematical ideas and notations, including sets, relations, functions, and induction. See the schedule for some suggested background reading on some of these concepts. Feel free to contact the instructor if you have questions about the requirements or other aspects of the course.
Two points to emphasize: (1) this is not an introduction to programming; students should already know how to program, ideally in at least couple of languages. (2) you must be very comfortable with recursion, proofs, basic mathematical ideas and notations, including sets, relations, functions, and induction.
Homeworks, exams, and grading
There will be an in-class midterm and a final exam. There will be 6 homework assignments. Some of the assignments will contain a programming component in OCaml and Haskell and some other languages. Prior knowledge of these languages is not required.
- Midterm: Thursday, 3 March. In-class (although some students will take in Pierce 100F, due to space constraints. Details forthcoming.) Extension students will have a 3-hour online exam, to be taken within a 24-hour window.
- Final exam: Thursday 5 May, 9am, in Science Center D. Extension students will have a 3-hour online exam to be taken within a 24-hour window starting Thursday 5 May, 9am.
- Homeworks: 6 assignments. Some will contain a programming component in OCaml, and Haskell, and other languages. See the Schedule page for due dates, and the Assignments page for details of the assignments.
Your grade will be determined by a weighted average of your scores on homework assignments, the midterm exam, the final exam, and class participation. The percentage breakdown (roughly and subject to change) is 50% homework assignments, 20% midterm, 25% final exam, and 5% participation (which includes attendance and participation in class, section, and office hours, and contributing to online discussion).
There is no required textbook for the course. In most cases, the class materials should suffice. The instructor will provide written lecture notes where helpful.
See the Resources page for additional material that you can examine.
See here for more information.
Sections are Thursdays 2pm-3pm, in Cruft 403 and Fridays 1pm-2pm, in Maxwell-Dworkin 223. The Thursday sections will be recorded. Both sections cover the same material. Section attendance is not required. Sections will, for the most part, focus on worked examples and exercises to consolidate material covered recently in class. You should feel free to come to section with questions. We will release practice problems a few days before section. More information can be found here.
- Mondays 11:00am-12:00pm (Maxwell-Dworkin 2nd floor lounge, Aaron)
- Mondays 8:00pm-10:00pm (Pfoho DHall, Robbie)
- Mondays 10:00pm-12:00am (Quincy DHall, Luis)
- Tuesdays 1:30pm-2:30pm (Maxwell-Dworkin 145, Steve)
- Tuesdays 6:00pm-8:00pm (MD 119, Luis) CS Nights: joint office hours for multiple courses!
- Wednesdays 8:00pm-10:00pm (Winthrop DHall, Thomas)
- Thursdays 3:00pm-5:00pm (Maxwell-Dworkin 2nd floor lounge, Robbie)
- Fridays 2:00pm-4:00pm (Maxwell-Dworkin 2nd floor lounge, Aaron)
Late penalties, collaboration, and other course policies
See here for more information.