List of All Events

• 2011.12.2. Extensible Programming with First-Class Cases Billy Bowman

• 2011.11.18. Can Reasoning be Taught? Steven D. Johnson

• 2011.11.11. The Lollipop Guild: Linear Logic and Interactive Fiction Zach Sparks

• 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

subscribe via RSS