List of All Events

• 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

• 2016.01.29. PLT Redex Tutorial @ Wonks Andrew Kent

• 2016.01.15. Semester Organizational Meeting Wonks General

• 2015.12.11. Introduction to Reversible Computing Kyle Carter

• 2015.11.20. Graph Partitioning For Fun and Profit Chris Wailes