Skip to main content



Schedule

Date Title Author(s) Discussion Leader(s)
August 29, 2014 Implementation and Abstraction in Mathematics (Debriefing) David McAllester Andrew K. Hirsch
September 5, 2014 On Understanding Data Abstraction, Revisited William R. Cook Fabian Muehlboeck
September 12, 2014 The Power of Interoperability: Why Objects Are Inevitable Jonathan Aldrich Steffen Smolka
September 17, 2014 Gradual Typing for Objects Jeremy Siek and Walid Taha Fabian Muehlboeck
September 24, 2014 A Theory of Objects Martin Abadi and Luca Cardelli Andrew K. Hirsch
October 1, 2014 50th Anniversary Symposium - -
October 8, 2014 A Theory of Objects Martin Abadi and Luca Cardelli Andrew K. Hirsch
October 15, 2014 A Theory of Primitive Objects - Second-Order Systems Martin Abadi and Luca Cardelli Andrew K. Hirsch
October 22, 2014 - - -
October 29, 2014 - - -
November 5, 2014 The system F of variable types, fifteen years later Jean-Yves Girard Matthew Milano
November 12, 2014 I Throw Itching Powder at Tulips Richard P. Gabriel Fabian Muehlboeck
November 19, 2014 Polymorphism is not set-theoretic John C. Reynolds Fran Mota
November 26, 2014 (American) Thanksgiving - -
December 3, 2014 F-ing Modules Andreas Rossberg, Claudio V. Russo and Derek Dreyer Xiang Long/Matthew Milano
December 10, 2014 Probabilistic Programming Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, and Sriram K. Rajamani Andrew K. Hirsch