List of All Events

• 2017.10.13. Monadic Composition for Deterministic, Parallel Batch Processing Ryan Scott

• 2017.09.29. Normalization by Evaluation David Christiansen

• 2017.09.22. Fall 2017 Recap Ambrose Bonnaire-Sergeant

• 2017.09.22. Space-Efficient Runtime Tracking Ambrose Bonnaire-Sergeant

• 2017.09.1. Homotopy theoretic aspects of Reversible Computing Vikraman Choudhury

• 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

subscribe via RSS