List of All Events

• 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

• 2011.04.15. Animatronic kittehs, 3D printers, and rogue game studios, or, Why computer science education should be just-in-time, not just-in-case, and why (epic) failure should always be an option Will Byrd