List of All Events

• 2012.08.31. Contract Monitoring as an Effect Zack Owens

• 2012.05.4. Will's Second Annual End-of-the-Year Fun Non-PL PL Wonks Talk: StarCraft Will Byrd

• 2012.04.27. Violating Contracts: The sad state of the CS judicial system Cameron Swords

• 2012.04.20. A Meta-Scheduler for the Par-Monad: Composable Scheduling for the Heterogeneous Cloud Adam Foltzer

• 2012.04.13. Writing Interesting Recursive Programs in a (New) Spartan Host Chris Frisz

• 2012.04.9. Introduction to K: An Executable Semantic Framework Kyle Blocher

• 2012.04.6. Efficient Procedural Records Andrew Keep

• 2012.03.30. Monotonic data structures as a guiding principle for deterministic parallel programming Lindsey Kuper

• 2012.03.23. Monads, Arrows, and Applicative Functors Rebecca Swords

• 2012.03.9. Region-based Memory Management Eric Holk

subscribe via RSS