| 2011 | A contextual semantics for concurrent Haskell with futures. David Sabel, Manfred Schmidt-Schauß |
| 2011 | A modular semantics for higher-order declarative programming with constraints. Rafael del Vado Vírseda, Fernando Pérez Morente |
| 2011 | Bellman's GAP: a declarative language for dynamic programming. Georg Sauthoff, Stefan Janssen, Robert Giegerich |
| 2011 | CLP projection for constraint handling rules. Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo |
| 2011 | Dependent session types via intuitionistic linear type theory. Bernardo Toninho, Luís Caires, Frank Pfenning |
| 2011 | Graph-transformation verification using monadic second-order logic. Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2011 | Incremental checking of well-founded recursive specifications modulo axioms. Felix Schernhammer, José Meseguer |
| 2011 | Linearity and recursion in a typed Lambda-calculus. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
| 2011 | Maintaining distributed logic programs incrementally. Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov |
| 2011 | Minimally strict polymorphic functions. Jan Christiansen, Daniel Seidel |
| 2011 | Nested proof search as reduction in the Lambda-calculus. Nicolas Guenot |
| 2011 | Nitpicking C++ concurrency. Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar |
| 2011 | Precision and complexity of XQuery type inference. Dario Colazzo, Carlo Sartiani |
| 2011 | Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark Peter Schneider-Kamp, Michael Hanus |
| 2011 | Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse |
| 2011 | Symbolic analysis of network security policies using rewrite systems. Tony Bourdier, Horatiu Cirstea |
| 2011 | The challenges of constraint-based test generation. Vitaly Lagoon |
| 2011 | Towards automatic synthesis of software verification tools. Andrey Rybalchenko |
| 2011 | Typing control operators in the CPS hierarchy. Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet |