CS 421 — Programming Languages
Search
Search
Dark mode
Light mode
Explorer
Docs
Chicago City Scholars
Communication
Creating Your Github Repository
Exam Schedule
Grad Student Project
Grad Student Project
How to Succeed in this Course
Lecture Schedule
Office Hours Schedule
Syllabus
Your GitHub Repository
Exams
Final Exam
Midterm 1
Midterm 2
Midterm 3
Lectures
Algebraic Data Types Lecture
Big-Step Semantics Lecture
Combinator Parsing Lecture
Continuation Passing Style Lecture
Course Introduction
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
Allison Ye
Cody Rivera
Helen Ilkiu
Krushank Bayyapu
Maanav Agrawal
Mattox Beckman
Paul Krogmeier
Shams Alshabani
Uche Uche-Ike
Topics
Edsger W. Dijstra
Pairs
The Applicative Type Class
The Functor Type Class
Videos
Basic Recursion
Big Step Semantics
Church Numerals
Closures
Combinator Parsing
Continuation Passing Style
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
51 items under this folder.
Dec 30, 2025
Variables
Dec 30, 2025
Unification
Dec 30, 2025
Type Classes
Dec 30, 2025
The Y-Combinator
Dec 30, 2025
The Church-Rosser Property
Dec 30, 2025
The CPS Transform
Dec 30, 2025
Tail Recursion
Dec 30, 2025
Sum Types, Part 2
Dec 30, 2025
Sum Types, Part 1
Dec 30, 2025
Subclasses and Subtyping
Dec 30, 2025
State
Dec 30, 2025
State Monad
Dec 30, 2025
State Monad Example
Dec 30, 2025
Small Step Semantics
Dec 30, 2025
Shift Reduce Conflicts
Dec 30, 2025
Right Linear Grammars
Dec 30, 2025
Regular Languages
Dec 30, 2025
Prolog
Dec 30, 2025
Prolog's Cut Operator
Dec 30, 2025
Product Types
Dec 30, 2025
Polytype Semantics
Dec 30, 2025
Parameters
Dec 30, 2025
Objects
Dec 30, 2025
Monotype Semantics
Dec 30, 2025
Monads
Dec 30, 2025
Map and Foldr
Dec 30, 2025
Macros
Dec 30, 2025
Loop Invariants
Dec 30, 2025
Lambda Calculus
Dec 30, 2025
Lambda Calculus Examples
Dec 30, 2025
LR Parsing
Dec 30, 2025
LL Parsing
Dec 30, 2025
Introduction to Semantics
Dec 30, 2025
Introduction to Higher Order Functions
Dec 30, 2025
Introduction to Grammars
Dec 30, 2025
Interpreters 2
Dec 30, 2025
Interpreters 1
Dec 30, 2025
Induction
Dec 30, 2025
Hoare Semantics
Dec 30, 2025
Functors and Applicative
Dec 30, 2025
Fixing Non-LL Grammars
Dec 30, 2025
FOLLOW Sets
Dec 30, 2025
FIRST Sets
Dec 30, 2025
Evaluation Order
Dec 30, 2025
Dynamic Prolog
Dec 30, 2025
Continuation Passing Style
Dec 30, 2025
Combinator Parsing
Dec 30, 2025
Closures
Dec 30, 2025
Church Numerals
Dec 30, 2025
Big Step Semantics
Dec 30, 2025
Basic Recursion