List of All Events

• 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

• 2016.11.4. Verified instances for parallel functional programming Ryan Scott

• 2016.10.28. Optimizing first class environments Rajan Walia

• 2016.10.20. microKanren Jason Hemann

• 2016.10.14. Nominal Algebra Kyle Carter

• 2016.10.7. Well-Typed Languages are Sound Matteo Cimini