| Date |
Title |
Author(s) |
Discussion Leader(s) |
| February 17, 2014 |
The Next 700 Programming Languages |
P. J. Landin |
Andrew K. Hirsch |
| February 24, 2014 |
Gradual Typing for Functional Languages |
Jeremy G. Siek and Walid Taha |
Fabian Muehlboeck |
| March 03, 2014 |
Social Processes and Proofs of Theorems and Programs |
De Millo et al. |
Ulrik Rasmussen |
| March 17, 2014 |
An Axiomatic Basis for Computer Programming |
C.A.R. Hoare |
Konstantinos Mamouras |
| March 24, 2014 |
A Formulae-as-Types Notion of Control |
Timothy Griffin |
Xiang Long |
| March 31, 2014 |
A Formulae-as-Types Notion of Control |
Timothy Griffin |
(continued) |
| April 7, 2014 |
On the Unusual Effectiveness of Logic in Computer Science |
Halpern et al. |
Ben Greenman and Ben Carriel |
| April 14, 2014 |
Socio-PLT: Principles for Programming Language Adoption |
Meyerovich and Rabkin |
Mark Reitblatt |
| April 21, 2014 |
Nexus Authorization Logic (NAL): Design Rationale and Applications |
Schneider, Walsh, and Sirer |
Andrew K. Hirsch |
| April 28, 2014 |
What can Programming Language Research Learn from the Philosophy of Science? |
Tomas Petricek |
Fabian Muehlboeck |
| May 5, 2014 |
A Taste of Linear Logic |
Philip Wadler |
Andrew K. Hirsch |
