| 2007 | Feasible reactivity in a synchronous Pi-calculus. | Roberto M. Amadio, Frdric Dabrowski |
| 2007 | Real-time rewriting semantics of orc. | Musab AlTurki, Jos Meseguer |
| 2006 | A modal type system for multi-level generating extensions with persistent code. | Yosihiro Yuse, Atsushi Igarashi |
| 2006 | Condate: a proto-language at the confluence between checking and compiling. | Eugen-Nicolae Volanschi |
| 2006 | Extracting programs from type class proofs. | Martin Sulzmann |
| 2006 | Combining algorithmic debugging and program slicing. | Josep Silva, Olaf Chitil |
| 2006 | Polymorphic algebraic data type reconstruction. | Tom Schrijvers, Maurice Bruynooghe |
| 2006 | Combining fuzzy logic and behavioral similarity for non-strict program validation. | Coen De Roover, Johan Brichau, Theo D'Hondt |
| 2006 | Poly-controlled partial evaluation. | Germn Puebla, Claudio Ochoa |
| 2006 | Compiling ML polymorphism with explicit layout bitmap. | Huu-Duc Nguyen, Atsushi Ohori |
| 2006 | Collection analysis for Horn clause programs. | Dale Miller |
| 2006 | A type system equivalent to static single assignment. | Yutaka Matsuno, Atsushi Ohori |
| 2006 | Open data types and open functions. | Andres Lh, Ralf Hinze |
| 2006 | Practical type inference based on success typings. | Tobias Lindahl, Konstantinos Sagonas |
| 2006 | Type-oriented construction of web user interfaces. | Michael Hanus |
| 2006 | Inferring dynamic credentials for rle-based trust management. | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
| 2006 | Computing constructor forms with non terminating rewrite programs. | Isabelle Gnaedig, Hlne Kirchner |
| 2006 | BASS: boxed ambients with safe sessions. | Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini |
| 2006 | One-and-a-halfth-order logic. | Murdoch Gabbay, Aad Mathijssen |
| 2006 | Constraint handling rules: the story so far. | Thom W. Frhwirth |
| 2006 | A historic functional and object-oriented calculus. | Maribel Fernndez, Fabien Fleutot |
| 2006 | An efficient algorithm for XML type projection. | Dario Colazzo, Carlo Sartiani |
| 2006 | Rewriting term-graphs with priority. | Ricardo Caferra, Rachid Echahed, Nicolas Peltier |
| 2006 | Typed polyadic pi-calculus in bigraphs. | Mikkel Bundgaard, Vladimiro Sassone |
| 2006 | An abductive framework for a-priori verification of web services. | Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali |