| 2006 | A historic functional and object-oriented calculus. Maribel Fernández, Fabien Fleutot |
| 2006 | A modal type system for multi-level generating extensions with persistent code. Yosihiro Yuse, Atsushi Igarashi |
| 2006 | A type system equivalent to static single assignment. Yutaka Matsuno, Atsushi Ohori |
| 2006 | An abductive framework for a-priori verification of web services. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |
| 2006 | An efficient algorithm for XML type projection. Dario Colazzo, Carlo Sartiani |
| 2006 | BASS: boxed ambients with safe sessions. Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini |
| 2006 | Collection analysis for Horn clause programs. Dale Miller |
| 2006 | Combining algorithmic debugging and program slicing. Josep Silva, Olaf Chitil |
| 2006 | Combining fuzzy logic and behavioral similarity for non-strict program validation. Coen De Roover, Johan Brichau, Theo D'Hondt |
| 2006 | Compiling ML polymorphism with explicit layout bitmap. Huu-Duc Nguyen, Atsushi Ohori |
| 2006 | Computing constructor forms with non terminating rewrite programs. Isabelle Gnaedig, Hélène Kirchner |
| 2006 | Condate: a proto-language at the confluence between checking and compiling. Eugen-Nicolae Volanschi |
| 2006 | Constraint handling rules: the story so far. Thom W. Frühwirth |
| 2006 | Extracting programs from type class proofs. Martin Sulzmann |
| 2006 | Inferring dynamic credentials for rôle-based trust management. Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
| 2006 | One-and-a-halfth-order logic. Murdoch Gabbay, Aad Mathijssen |
| 2006 | Open data types and open functions. Andres Löh, Ralf Hinze |
| 2006 | Poly-controlled partial evaluation. Germán Puebla, Claudio Ochoa |
| 2006 | Polymorphic algebraic data type reconstruction. Tom Schrijvers, Maurice Bruynooghe |
| 2006 | Practical type inference based on success typings. Tobias Lindahl, Konstantinos Sagonas |
| 2006 | Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy Annalisa Bossi, Michael J. Maher |
| 2006 | Rewriting term-graphs with priority. Ricardo Caferra, Rachid Echahed, Nicolas Peltier |
| 2006 | Type inference for spreadsheets. Robin Abraham, Martin Erwig |
| 2006 | Type-oriented construction of web user interfaces. Michael Hanus |
| 2006 | Typed polyadic pi-calculus in bigraphs. Mikkel Bundgaard, Vladimiro Sassone |