List of All Events
-
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
-
2015.10.16. Probabilistic Programming in Hakaru Praveen Narayanan
-
2015.09.25. Rethinking Loops as Infinite State Transducers Adit Shah
-
2015.09.18. A methodology, conceptual procedures and a supporting tool for Gradual Typing Matteo Cimini
-
2015.09.11. Typed Clojure: From Optional to Gradual Typing Ambrose Bonnaire-Sergeant
-
2015.08.28. Semester Organizational Meeting Wonks General