List of All Events

• 2011.10.21. Closure Optimization R. Kent Dybvig

• 2011.10.14. Hygienic Literate Programming: Lessons from ChezWEB Aaron Hsu

• 2011.10.7. cKanren: miniKanren with Constraints Claire Alvis

• 2011.09.30. From lambda to mu: Functions as algebraic types Michael D. Adams

• 2011.09.23. Combining Denotational and Operational Semantics for Scalable Proof Development Adam Foltzer

• 2011.09.16. A Monad for Deterministic Parallelism Ryan Newton

• 2011.09.9. Some pieces of the Rust object system: extension, overriding, and self Lindsey Kuper

• 2011.09.9. Tasks and Communication in Rust Eric Holk

• 2011.09.2. ConceptClang: An Implementation of C++ Concepts in Clang Larisse Voufo

• 2011.04.22. Ftypes: structured foreign data access Andrew Keep