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 |