List of All Events

• 2014.01.31. Towards a Computational Account of Homotopy Type Theory Zach Sparks

• 2014.01.17. Talk Sign-up Meeting / Freeze After Writing: Quasi-Deterministic Parallel Programming with LVars Lindsey Kuper

• 2013.10.25. Pre-SPLASH PL-Fest Wonks General

• 2013.04.26. Lifting and Flattening of Typed ASTs Ed Amsden

• 2013.04.19. Compositional and Lightweight Dependent Type Inference for ML Suresh Jagannathan

• 2013.04.12. A Type and Effect System for Contract Monitoring Cameron Swords

• 2013.04.5. Boxing for Diamonds: Modal logic and its applications Zachary Sparks

• 2013.03.29. Enhancing work-stealing runtimes with concurrency Chris Zakian and Tim Zakian

• 2013.03.8. Linear Dependent Types For Differential Privacy Marco Gaboardi

• 2013.03.1. GPU Programming in Rust: Implementing High-level Abstractions in a Systems-level Language Eric Holk