List of All Events

• 2013.01.18. Formalizing the left-chiastic simply-typed lambda calculus, or: What I did last summer Wren Thornton

• 2012.12.14. miniKanren: Challenges and Opportunities Will Byrd

• 2012.12.7. SIGRONAK Wonks

• 2012.11.30. Array Languages for the Uninitiated Aaron Hsu

• 2012.11.16. Linear Logic Is Broken Zach Sparks

• 2012.11.9. Contract Flavors and a Hybrid Contract System Cameron Swords

• 2012.11.2. A Nanopass Framework Tutorial Andrew Keep

• 2012.10.26. Some Information About Scala Aaron Todd

• 2012.10.19. A Fresh View at Type Inference Yin Wang

• 2012.10.5. A Lattice-Based Approach to Deterministic Parallelism with Shared State Lindsey Kuper

subscribe via RSS