List of All Events

• 2014.03.14. LVars: Lattice-based Data Structures for Deterministic Parallel and Distributed Programming Lindsey Kuper

• 2014.03.7. Recovering and enhancing miniKanren Jason Hemann

• 2014.02.27. Towards a Parallel CSS Selector Matching Algorithm in Harlan Eric Holk

• 2014.02.21. Linear Types: Out of the Ivory Tower and Into the Trenches Chris Wailes

• 2014.02.12. Monotonic References for Gradual Typing Jeremy Siek

• 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

subscribe via RSS