Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.
Covers generic programming in C++ through templates for classes and functions, showcasing examples and discussing specialization and separate compilation.