List of All Events

• 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

• 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

subscribe via RSS