Videos

Video — Basic Recursion
Now we are going to present induction all over again, but this time we are going to call it a “recursive function” instead. Yes, I’ve told you twice as much as what you need to know.
Last updated on Jan 17, 2022
Video - Tail Recursion
There is a powerful optimization available if you structure your recursion the right way. It’s called tail recursion, and it enables the compiler to convert the recursion into a loop in the compiled assembly code.
Last updated on Jan 17, 2022
Video — Product Types
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Sum Types, part 1
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Sum Types, part 2
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Map and Foldr
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Interpreters 1
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Interpreters 2
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Introduction to Semantics
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Big Step Semantics
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022