List of All Events

• 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

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

• 2016.04.22. Pycket Using Racket Bytecode Caner Derici

subscribe via RSS