List of All Events

• 2016.09.30. Realizability Models and Logical Relations Victoria Lewis

• 2016.09.16. Towards a Theory of Objects in Sequentially Constructive Synchronous Programming Michael Mendler (joint work with Marc Pouzet)

• 2016.09.9. ICFP 2016 Practice Talks II Wazim Mohammed Ismail, Trevor L. McDonell

• 2016.09.2. ICFP 2016 Practice Talks I David Christiansen, Jason Hemann

• 2016.08.26. Semester Organizational Meeting Wonks General

• 2016.04.29. Two PLDI Practice Talks (see description) Buddhika Chamith and Andrew Kent

• 2016.04.22. Pycket Using Racket Bytecode Caner Derici

• 2016.04.15. Expressing Contract Monitoring Strategies for Call-by-Value and Call-by-Name Calculi Cameron Swords

• 2016.04.8. Purely Functional GPU Programming Mike Vollmer

• 2016.04.1. Co-dfns Compiler Architecture Aaron Hsu