CS 421 — Programming Languages
Search
Search
Dark mode
Light mode
Explorer
Docs
Communication
Exam FAQ
Exam Schedule
Grad Student Project
How to Succeed in this Course
Lecture Schedule
Office Hours Schedule
PrairieLearn
Release Repository
Schedule
Setting up your system
Syllabus
Your GitHub Repository
Exams
Final Exam
Midterm 1
Midterm 2
Midterm 3
Lectures
Algebraic Data Types Lecture
Big-Step Semantics Lecture
Closures Lecture
Combinator Parsing Lecture
Continuation Passing Style Lecture
Course Introduction Lecture
Grammars Lecture
Higher Order Functions Lecture
Hoare Semantics Lecture
Interpreters I Lecture
Interpreters II Lecture
Lambda Calculus Lecture
LL Parsing Lecture
Loop Invariants Lecture
LR Parsing Lecture
Macros Lecture
Monads Lecture
Monotype Semantics Lecture
Polytype Semantics Lecture
Prolog Applications Lecture
Prolog Lecture
Prolog's Cut Operator Lecture
Recursion Lecture
Regular Languages Lecture
Small Step Semantics Lecture
State Monad Lecture
Type Classes Lecture
Unification Lecture
Variables Lecture
Staff
Jasmine Liu
Mattox Beckman
Sherry Long
Topics
Algebra
Algebraic Data Type
Edsger W. Dijkstra
Pairs
Product Type
Sum Type
The Applicative Type Class
The Functor Type Class
Videos
Basic Recursion
Big Step Semantics
Church Numerals
Closures
Combinator Parsing
Continuation Passing Style
Course Introduction
Dynamic Prolog
Evaluation Order
FIRST Sets
Fixing Non-LL Grammars
FOLLOW Sets
Functors and Applicative
Hoare Semantics
Induction
Interpreters 1
Interpreters 2
Introduction to Grammars
Introduction to Higher Order Functions
Introduction to Semantics
Lambda Calculus
Lambda Calculus Examples
LL Parsing
Loop Invariants
LR Parsing
Macros
Map and Foldr
Monads
Monotype Semantics
Objects
Parameters
Polytype Semantics
Product Types
Prolog
Prolog's Cut Operator
Regular Languages
Right Linear Grammars
Shift Reduce Conflicts
Small Step Semantics
State
State Monad
State Monad Example
Subclasses and Subtyping
Sum Types, Part 1
Sum Types, Part 2
Tail Recursion
The Church-Rosser Property
The CPS Transform
The Y-Combinator
Type Classes
Unification
Variables
Home
❯
Videos
Folder: Videos
52 items under this folder.
Jul 12, 2026
Church Numerals
Jul 12, 2026
Closures
Jul 12, 2026
Combinator Parsing
Jul 12, 2026
Continuation Passing Style
Jul 12, 2026
Course Introduction
Jul 12, 2026
Dynamic Prolog
Jul 12, 2026
Evaluation Order
Jul 12, 2026
FIRST Sets
Jul 12, 2026
FOLLOW Sets
Jul 12, 2026
Fixing Non-LL Grammars
Jul 12, 2026
Functors and Applicative
Jul 12, 2026
Hoare Semantics
Jul 12, 2026
Induction
Jul 12, 2026
Interpreters 1
Jul 12, 2026
Interpreters 2
Jul 12, 2026
Introduction to Grammars
Jul 12, 2026
Introduction to Higher Order Functions
Jul 12, 2026
Introduction to Semantics
Jul 12, 2026
LL Parsing
Jul 12, 2026
LR Parsing
Jul 12, 2026
Lambda Calculus Examples
Jul 12, 2026
Lambda Calculus
Jul 12, 2026
Loop Invariants
Jul 12, 2026
Macros
Jul 12, 2026
Map and Foldr
Jul 12, 2026
Monads
Jul 12, 2026
Monotype Semantics
Jul 12, 2026
Objects
Jul 12, 2026
Parameters
Jul 12, 2026
Polytype Semantics
Jul 12, 2026
Product Types
Jul 12, 2026
Prolog's Cut Operator
Jul 12, 2026
Prolog
Jul 12, 2026
Regular Languages
Jul 12, 2026
Right Linear Grammars
Jul 12, 2026
Shift Reduce Conflicts
Jul 12, 2026
Small Step Semantics
Jul 12, 2026
State Monad Example
Jul 12, 2026
State Monad
Jul 12, 2026
State
Jul 12, 2026
Subclasses and Subtyping
Jul 12, 2026
Sum Types, Part 1
Jul 12, 2026
Sum Types, Part 2
Jul 12, 2026
Tail Recursion
Jul 12, 2026
The CPS Transform
Jul 12, 2026
The Church-Rosser Property
Jul 12, 2026
The Y-Combinator
Jul 12, 2026
Type Classes
Jul 12, 2026
Unification
Jul 12, 2026
Variables
Jul 12, 2026
Basic Recursion
Jul 12, 2026
Big Step Semantics