Completed
Introduction
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
PureCake: A Verified Compiler for a Lazy Functional Language - PLDI 2023
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Language guarantees
- 3 Binary level guarantees
- 4 Verified compilation
- 5 PureCake
- 6 PureLang
- 7 PureLang features
- 8 Compiler Expressions
- 9 Operational Semantics
- 10 Compiler
- 11 Type Inference
- 12 Demand Analysis
- 13 Compiler Backend
- 14 Syntax Relations
- 15 ThunLang
- 16 StateLang
- 17 Endtoend correctness
- 18 Questions
