00:00:00 Building Abstractions with Procedures
00:02:21 Building Abstractions with Data
00:05:12 Modularity, Objects, and State
00:08:14 Metalinguistic Abstraction
00:11:09 Computing with Register Machines
00:13:53 Outro
