CS 145: Designing Functional Programs (Advanced Version)


Regular lecture attendance and note-taking are particularly important in CS 145. Lectures will involve the development of ideas summarized very tersely in the handouts, as well as on-the-fly development of code, analyses, and proofs.


Last modified on Friday, 04 September 2020, at 10:49 hours.