| 2010 | Functional derivation of a virtual machine for delimited continuations. | Kenichi Asai, Arisa Kitani |
| 2009 | Language support for processing distributed ad hoc data. | Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker |
| 2009 | A logical framework for configuration software. | Hanne Vlaeminck, Joost Vennekens, Marc Denecker |
| 2009 | A higher-order logical framework for the algorithmic debugging and verification of declarative programs. | Rafael del Vado Vrseda |
| 2009 | Session types for linear multithreaded functional programming. | Vasco Thudichum Vasconcelos |
| 2009 | Dependent type inference with interpolants. | Hiroshi Unno, Naoki Kobayashi |
| 2009 | An embedded declarative data transformation language. | Paul Tarau |
| 2009 | Automatic refactoring of Erlang programs. | Konstantinos Sagonas, Thanassis Avgerinos |
| 2009 | Path-sensitive region analysis for mercury programs. | Quan Phan, Gerda Janssens |
| 2009 | Algorithmic specifications in linear logic with subexponentials. | Vivek Nigam, Dale Miller |
| 2009 | Scrap your boilerplate: prologically! | Ralf Lmmel |
| 2009 | Model-checking higher-order functions. | Naoki Kobayashi |
| 2009 | An Isabelle/HOL-based model of stratego-like traversal strategies. | Markus Kaiser, Ralf Lmmel |
| 2009 | A declarative semantics for Bousi~Prolog. | Pascual Julin Iranzo, Clemente Rubio-Manzano |
| 2009 | L2C2: logic-based LSC consistency checking. | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
| 2009 | On the expressive power of priorities in CHR. | Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo |
| 2009 | Reasoning with hypothetical judgments and open terms in hybrid. | Amy P. Felty, Alberto Momigliano |
| 2009 | A framework for abstract interpretation of timed concurrent constraint programs. | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi |
| 2009 | Making induction manifest in modular ACL2. | Carl Eastlund, Matthias Felleisen |
| 2009 | Alternation as a programming paradigm. | Wolfgang Dvork, Georg Gottlob, Reinhard Pichler, Stefan Woltran |
| 2009 | Future contracts. | Christos Dimoulas, Riccardo Pucella, Matthias Felleisen |
| 2009 | The RPC calculus. | Ezra Cooper, Philip Wadler |
| 2009 | A declarative encoding of telecommunications feature subscription in SAT. | Michael Codish, Samir Genaim, Peter J. Stuckey |
| 2009 | A dynamically customizable process-centered evaluation model. | Silvia Clerici, Cristina Zoltan |
| 2009 | Foundations of session types. | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |