| 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 |
