List of All Events

• 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

• 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

subscribe via RSS