List of All Events

• 2017.04.14. Cats. We'll talk about cats. (PL Foundations cohort!) Victoria Lewis, Kyle Carter, Vikraman Choudhury

• 2017.04.10. Automatically generating clojure.spec annotations Ambrose Bonnaire-Sergeant

• 2017.04.7. An LCF-Style Tactic Language in Racket's Macro Expander David Christiansen

• 2017.03.24. Detflow: towards deterministic workflows on your favorite OS Ryan Scott

• 2017.03.3. Category theory in Agda Kyle Carter

• 2017.02.17. Guaranteed Optimizations in a Data Parallel Compiler Aaron Hsu

• 2017.02.3. Type Checker Tune-up Andrew Kent

• 2017.01.20. Hash Array Mapped Tries Ambrose Bonnaire-Sergeant

• 2017.01.13. Semester Organizational Meeting Wonks General

• 2016.11.18. Big Types in Little Runtime (Open-World Soundness and Collaborative Blame for Gradual Type Systems) Mike Vitousek

subscribe via RSS