Index of individual lectures

• Lecture 01—Course overview, BSL expressions, functions
• Lecture 02—How to Design Functions (HtDF recipe)
• Lecture 03—How to Design Data (HtDD recipe)
• Lecture 04—Interactive programs, big-bang and the HtDW recipe
• Lecture 05—Compound data, extending an existing world program
• Lecture 06—Arbitrary-sized data, self reference, and natural recursion
• Lecture 07—Simple reference in types and natural helpers
• Lecture 08—Recursive functions on naturals; three more helper rules
• Lecture 09—Fixed arity trees
• Lecture 10—Mutual reference and mutual recursion
• Lecture 11—2 one-of
• Lecture 12—Local Expressions
• Lecture 13—Abstraction and Polymorphic Functions
• Lecture 14—Fold Functions
• Lecture 15—Generative Recursion
• Lecture 16—Search Problems
• Lecture 17—Search Problems cont'd
• Lecture 18—Accumulators
• Lecture 19—Tail Recursion
• Lecture 20—Tail Recursion
• Lecture 21—Graphs
• Lecture 22—Graphs
• Lecture 23—Summary and Looking Ahead