Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.
Explores scalability challenges in shared-work systems, emphasizing optimization and execution, experimental setups, data-query operators, and the impact of schema on learning.
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
