List of All Events

• 2015.04.3. Monotonic References for Efficient Gradual Typing Jeremy Siek

• 2015.03.27. An Introduction to Expressing Contracts as Patterns of Communication Cameron Swords

• 2015.03.13. Chiastic Lambda-Calculi Wren Romano

• 2015.03.6. Running Typed Racket Backwards Ambrose Bonnaire-Sergeant

• 2015.02.20. Directed Cubical Sets and Concurrent Types Tim Zakian

• 2015.02.13. The Key to a Data Parallel Compiler Aaron Hsu

• 2015.02.6. How to Make a Good Research Artifact Eric Holk

• 2015.01.29. Refined Criteria for Gradual Typing Jeremy Siek

• 2015.01.23. Semester Organizational Meeting Wonks General

• 2015.01.16. Verification and Refutation of Behavioral Contracts with Higher-Order Symbolic Execution David Van Horn

subscribe via RSS