Creative Commons
| Preface Nick Benton and Patricia Johann | ||
| Lazy Evaluation and Delimited Control | ||
| Ronald Garcia, Andrew Lumsdaine and Amr Sabry | ||
| Automatic Modular Abstractions for Template Numerical Constraints | ||
| David Monniaux | ||
| Classical BI: Its Semantics and Proof Theory | ||
| James Brotherston and Cristiano Calcagno | ||
| Positive Supercompilation for a Higher-Order Call-By-Value Language | ||
| Peter A. Jonsson and Johan Nordlander | ||
| Automated Verification of Practical Garbage Collectors | ||
| Chris Hawblitzel and Erez Petrank | ||
| A Model of Cooperative Threads | ||
| Martín Abadi and Gordon D. Plotkin | ||
| Equality Saturation: A New Approach to Optimization | ||
| Ross Tate, Michael Stepp, Zachary Tatlock and Sorin Lerner | ||