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 |