| 2006 | A Basic Contract Language for Web Services. Samuele Carpineti, Cosimo Laneve |
| 2006 | A Typed Assembly Language for Confidentiality. Dachuan Yu, Nayeem Islam |
| 2006 | A Verification Methodology for Model Fields. K. Rustan M. Leino, Peter Müller |
| 2006 | Approaches to Polymorphism in Classical Sequent Calculus. Alexander J. Summers, Steffen van Bakel |
| 2006 | Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. Sumit Gulwani, Ashish Tiwari |
| 2006 | Bisimulations for Untyped Imperative Objects. Vasileios Koutavas, Mitchell Wand |
| 2006 | Coinductive Big-Step Operational Semantics. Xavier Leroy |
| 2006 | Embedding Dynamic Dataflow in a Call-by-Value Language. Gregory H. Cooper, Shriram Krishnamurthi |
| 2006 | Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. Niklas Broberg, David Sands |
| 2006 | Haskell Is Not Not ML. Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones |
| 2006 | ILC: A Foundation for Automated Reasoning About Pointer Programs. Limin Jia, David Walker |
| 2006 | Inference of User-Defined Type Qualifiers and Qualifier Rules. Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg |
| 2006 | Linear Regions Are All You Need. Matthew Fluet, Greg Morrisett, Amal J. Ahmed |
| 2006 | Path Optimization in Programs and Its Application to Debugging. Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit |
| 2006 | Polymorphic Type Inference for the JNI. Michael Furr, Jeffrey S. Foster |
| 2006 | Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings Peter Sestoft |
| 2006 | Pure Pattern Calculus. C. Barry Jay, Delia Kesner |
| 2006 | Size-Change Termination Analysis in Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey |
| 2006 | Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. Amal J. Ahmed |
| 2006 | The Weird World of Bi-directional Programming. Benjamin C. Pierce |
| 2006 | Type Safety of Generics for the .NET Common Language Runtime. Nicu G. Fruja |
| 2006 | Type-Based Amortised Heap-Space Analysis. Martin Hofmann, Steffen Jost |
| 2006 | Types for Dynamic Reconfiguration. João Costa Seco, Luís Caires |
| 2006 | Types for Hierarchic Shapes. Sophia Drossopoulou, David G. Clarke, James Noble |