https://quartz.jzhao.xyz/Docs/Chicago-City-Scholars 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Docs/Communication 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Docs/Exam-FAQ 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Docs/Exam-Schedule 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Docs/How-to-Succeed-in-this-Course 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Docs/Lecture-Schedule 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Docs/Office-Hours-Schedule 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Docs/OldProject 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Docs/Project 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Docs/Syllabus 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Docs/Your-GitHub-Repository 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Exams/Final-Exam 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Exams/Midterm-1 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Exams/Midterm-2 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Exams/Midterm-3 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Algebraic-Data-Types-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Big-Step-Semantics-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Combinator-Parsing-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Continuation-Passing-Style-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Course-Introduction 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Grammars-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Higher-Order-Functions-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Hoare-Semantics-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Interpreters-I-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Interpreters-II-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/LL-Parsing-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/LR-Parsing-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Lambda-Calculus-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Loop-Invariants-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Macros-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Monads-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Monotype-Semantics-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Polytype-Semantics-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Prolog-Applications-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Prolog-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Prolog's-Cut-Operator-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Recursion-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Regular-Languages-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Small-Step-Semantics-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/State-Monad-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Type-Classes-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Unification-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Lectures/Variables-Lecture 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Staff/Egan-Johnson 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Staff/Jasmine-Liu 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Staff/Jiayou-He 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Staff/Mattox-Beckman 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Staff/Nabarun-Deka 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Staff/Sherry-Long 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Staff/Vimarsh-Sathia 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Staff/Yiqiu-Sun 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Topics/Edsger-W.-Dijkstra 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Topics/Pairs 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Topics/The-Applicative-Type-Class 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Topics/The-Functor-Type-Class 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Basic-Recursion 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Big-Step-Semantics 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Church-Numerals 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Closures 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Combinator-Parsing 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Continuation-Passing-Style 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Dynamic-Prolog 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Evaluation-Order 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/FIRST-Sets 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/FOLLOW-Sets 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Fixing-Non-LL-Grammars 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Functors-and-Applicative 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Hoare-Semantics 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Induction 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Interpreters-1 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Interpreters-2 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Introduction-to-Grammars 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Introduction-to-Higher-Order-Functions 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Introduction-to-Semantics 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/LL-Parsing 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/LR-Parsing 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Lambda-Calculus-Examples 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Lambda-Calculus 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Loop-Invariants 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Macros 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Map-and-Foldr 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Monads 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Monotype-Semantics 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Objects 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Parameters 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Polytype-Semantics 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Product-Types 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Prolog's-Cut-Operator 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Prolog 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Regular-Languages 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Right-Linear-Grammars 2026-04-01T20:30:42.858Z https://quartz.jzhao.xyz/Videos/Shift-Reduce-Conflicts 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/Small-Step-Semantics 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/State-Monad-Example 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/State-Monad 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/State 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/Subclasses-and-Subtyping 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/Sum-Types,-Part-1 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/Sum-Types,-Part-2 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/Tail-Recursion 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/The-CPS-Transform 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/The-Church-Rosser-Property 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/The-Y-Combinator 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/Type-Classes 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/Unification 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/Videos/Variables 2026-04-01T20:30:42.862Z https://quartz.jzhao.xyz/ 2026-04-01T20:30:43.118Z