List of All Events
-
2017.09.1. APL Style Patterns/Anti-patterns: Escaping the Beginner’s Plateau Aaron Hsu
-
2017.08.25. Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping Chao-Hong Chen
-
2017.08.25. Symbolic conditioning of arrays in probabilistic programs Praveen Narayanan
-
2017.05.5. Evaluation of Network/Performance Models for Topologically-Aware Load Balancing: I've Never Meta-Metric I Didn't Like Chris Wailes
-
2017.04.28. A Novice's Quick Plunge into Coq! Andre Kuhlenschmidt
-
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
subscribe via RSS