CS 152: Programming Languages - Spring 2019: Section 3 - Lambda Calculus

Section 3 of CS 152: Programming Languages at Harvard University. Spring 2019 Topics: Lambda calculus basics; Lambda calculus encodings CS 152 is an introduction to the theory, design, and implementation of programming languages. Topics covered in this course include: formal semantics of programming languages (operational, axiomatic, denotational, and translational), type systems, higher-order functions and lambda calculus, laziness, continuations, dynamic types, monads, objects, modules, concurrency, and communication.