| 2008 | Typed Dynamic Control Operators for Delimited Continuations. | Yukiyoshi Kameyama, Takuo Yonezawa |
| 2008 | Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base. | Nicolas Julien |
| 2008 | EasyCheck - Test Data for Free. | Jan Christiansen, Sebastian Fischer |
| 2008 | Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. | Rafael Caballero, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2008 | Undoing Dynamic Typing (Declarative Pearl). | Nick Benton |
| 2008 | Complexity Analysis by Rewriting. | Martin Avanzini, Georg Moser |
| 2008 | A Generalization of the Folding Rule for the Clark-Kunen Semantics. | Javier lvez, Paqui Lucio |
| 2008 | On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory. | Andreas Abel, Thierry Coquand, Peter Dybjer |
| 2006 | XML Type Checking Using High-Level Tree Transducer. | Akihiko Tozawa |
| 2006 | WASH Server Pages. | Peter Thiemann |
| 2006 | A Framework for Extended Algebraic Data Types. | Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey |
| 2006 | Parallel Programming and Parallel Abstractions in Fortress. | Guy L. Steele Jr. |
| 2006 | Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. | Peter Van Roy |
| 2006 | iData for the World Wide Web - Programming Interconnected Web Forms. | Rinus Plasmeijer, Peter Achten |
| 2006 | Soutei, a Logic-Based Trust-Management System. | Andrew Pimlott, Oleg Kiselyov |
| 2006 | Resource Analysis by Sup-interpretation. | Jean-Yves Marion, Romain Pchoux |
| 2006 | Lazy Set-Sharing Analysis. | Xuan Li, Andy King, Lunjin Lu |
| 2006 | Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. | Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi |
| 2006 | "Scrap Your Boilerplate" Reloaded. | Ralf Hinze, Andres Lh, Bruno C. d. S. Oliveira |
| 2006 | Typed Contracts for Functional Programming. | Ralf Hinze, Johan Jeuring, Andres Lh |
| 2006 | A Computational Approach to Pocklington Certificates in Type Theory. | Benjamin Grgoire, Laurent Thry, Benjamin Werner |
| 2006 | Contracts as Pairs of Projections. | Robert Bruce Findler, Matthias Blume |
| 2006 | Lock Free Data Structures Using STM in Haskell. | Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
| 2006 | Ruler: Programming Type Rules. | Atze Dijkstra, S. Doaitse Swierstra |
| 2006 | A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. | Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo |