List of All Events

• 2015.08.21. PL-Wonks Workshop: Rehearsal for ICFP, FHPC, HIW, Haskell symposium, Scheme workshop, LCPC PL Wonks

• 2015.05.1. Ask me anything! Dan Friedman

• 2015.04.24. Toward Absolutely Efficient Gradual Typing Andre Kuhlenschmidt

• 2015.04.17. Status Report: Enriching Typed Racket with Dependent Types Andrew Kent

• 2015.04.10. Adaptively Scalable Data Structures Peter Fogg

• 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