Topics include: Direct Recursion Tail Recursion Tail Recursion Advantage Algebraic Data Types Writing HOFs Using HOFs Lambda Calculus Big Step Semantics