List of All Events

• 2011.11.4. The Little Register Allocator Yin Wang

• 2011.10.28. Towards a Quantitative Cognitive Model of Software Complexity Mike Hansen

• 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

subscribe via RSS