List of All Events

• 2016.04.15. Expressing Contract Monitoring Strategies for Call-by-Value and Call-by-Name Calculi Cameron Swords

• 2016.04.8. Purely Functional GPU Programming Mike Vollmer

• 2016.04.1. Co-dfns Compiler Architecture Aaron Hsu

• 2016.03.23. Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant

• 2016.03.10. A Reimplementation of microKanren Jason Hemann

• 2016.03.4. Strong Normalization for Chiastic Lambda-Calculi Wren Romano

• 2016.02.26. Generic Programming for the Masses Ryan Scott

• 2016.02.19. An Introduction to Model Theory Tori Lewis

• 2016.02.12. Unboxing Sum Types in GHC Ömer Sinan Ağacan

• 2016.02.5. Reflecting the Idris Elaborator David Christiansen

subscribe via RSS