Optimizing Recursive QueriesExplores optimizing recursive queries in database systems using Datalog and semirings, discussing the challenges and solutions in data analytics.
Compiler Extension LabCovers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Lazy EvaluationExplores lazy evaluation in functional programming, focusing on Scala's implementation of lazy lists.