LARA Lecture 06: Type Checking Typing Rules for Simple Language Lambda Calculus Simple Types for Lambda Calculus Type Checking Let and Letrec Operational Semantics of Lambda with Letrec References Types and Programming Languages, Chapter 5, Chapter 8, Sections 9.1–9.3 (pages 89-107) Lambda Calculi with Types
