List of All Events

• 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

• 2015.11.13. Drag Weixi Ma

• 2015.11.6. Gradual Typing in an Open World Michael Vitousek

• 2015.10.30. Composing Inference Algorithms Rob Zinkov

• 2015.10.23. Fizz and Fuse Your Arrays Michael Vollmer

subscribe via RSS