This lecture gives another example of the idea of making the append operator vanish, by considering the problem of flattening a tree. It also introduces the final case study for the course, which focuses on specifying and verifying the correctness of a simple compiler.
Course playlist: tinyurl.com/has...
Негізгі бет AFP 14 - Making Append Vanish II: Fast Flatten
No video
Пікірлер: 2