CS 421 (Spring 2022)
CS 421 (Spring 2022)
Home
Documentation
Lectures
Problems
Textbook
Light
Dark
Automatic
Videos
Video — Parameters
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Macros
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Closures
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Combinator Parsing
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Dynamic Prolog
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Dynamic Prolog
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Hoare Semantics Activity
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Induction
A recursive program is a computational form of a proof of induction. So to start, we will talk about proofs by induction. Later we will talk about how recursive programs model the structure of inductive proofs.
Last updated on Jan 17, 2022
Video — Introduction to Higher Order Functions
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Local State
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
«
»
Cite
×