EECS 490: Programming Languages

Fall 2022

Programming languages are rich mathematical structures and powerful user interfaces. This course covers the design and use of modern programming languages. We will build up systematically from formal first principles while considering human factors in language design, language prototyping, and techniques for reasoning about program behavior throughout the course.

The goal is to change the way you think about programming and programming language design in ways that will remain relevant across the many technology hype cycles that you will encounter over the course of your careers.

Schedule

Open in Google Calendar

Day	#	Lecture Topic	Deadline	Readings
Tue 30 Aug	1	Course Overview
Thu 1 Sep	2	Programming with Mathematical Expressions	Preliminary Survey released	Optional: Cornell CS 3110 Notes, Ch. 2-3 (except 3.1.3)
Tue 6 Sep	3	Recursive Datatypes and Recursion Schemes		Optional: Cornell CS 3110 Notes, Ch. 4
Thu 8 Sep	4	Equational and Inductive Reasoning	Preliminary Survey due (Friday)	Optional: Princeton COS 326 Notes on Reasoning: Basics, Lists
Tue 13 Sep	5	Syntax
Thu 15 Sep	6	Semantics
Tue 20 Sep	7	Variables and Functions (Lambda Calculus)	A1/A2 (combined) out
Thu 22 Sep	8	Types
Tue 27 Sep	9	Products and Recursive Expressions
Thu 29 Sep	10	Sums	A1/A2 (combined) due A3/A4 (combined) out
Tue 4 Oct	11	Recursive Types
Thu 6 Oct	12	Parametric Polymorphism	A3/A4 (combined) due A5 out
Tue 11 Oct	13	Practical Functional Programming: Web Development in OCaml
Thu 13 Oct	14	Constructive Logic (Proofs are Programs)	A5 due Midterm Study Materials out	Optional: Propositions as Types by Philip Wadler
Tue 18 Oct	No Class (Fall Study Break)
Thu 20 Oct	15	Midterm (during lecture slot, see Piazza)
Tue 25 Oct	16	Dynamic Classification, Gradual Typing, and Typed Holes		Optional: What is Gradual Typing by Jeremy Siek
Thu 27 Oct	17	Imperative Programming I - Side Effects	A6 out	Optional: TAPL Ch. 13
Tue 1 Nov	18	Imperative Programming II - Mutable Data Structures
Thu 3 Nov	19	Imperative Program Verification I	A6 due A7 out	Optional: CMU 17-654: Hoare Logic: Proving Programs Correct Optional: Washington CSE 331: Reasoning About Code (Hoare Logic)
Tue 8 Nov	20	Imperative Program Verification II
Thu 10 Nov	21	Ownership and Borrowing in Rust I		Optional: Rust Book Ch. 4.1-4.2: Understanding Ownership
Tue 15 Nov	22	Ownership and Borrowing in Rust II	A7 due A8 out
Thu 17 Nov	23	Parallelism and Cost Semantics I		Optional: PFPL Ch. 37-38
Tue 22 Nov	No Class (Thanksgiving Break)
Thu 24 Nov
Tue 29 Nov	24	Parallelism and Cost Semantics II
Thu 1 Dec	25	Concurrent Interaction	A8 due A9 out	Optional: PFPL Ch. 39
Tue 6 Dec	26	Distributed Computation		Optional: PFPL Ch. 40
Thu 8 Dec	27	Macro Systems	A9 due End-of-semester Survey out	Optional: Macros - Rust Book
Thu 15 Dec	Final Exam (1:30-3:30pm)

For technical questions, please use Piazza. For administrative questions, please email the instructional staff collectively at eecs490staff@umich.edu unless you have a specific reason for contacting a staff member individually.