| 2012 | A linear concurrent constraint approach for the automatic verification of access permissions. Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño |
| 2012 | A polynomial time λ-calculus with multithreading and side effects. Antoine Madet |
| 2012 | Automatic synthesis of specifications for first order curry programs. Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva |
| 2012 | Compiling CHR to parallel hardware. Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Thom W. Frühwirth |
| 2012 | Declarative distributed advertisement system for iDTV: an industrial experience. Macías López, Laura M. Castro, David Cabrero |
| 2012 | Exception handling for copyless messaging. Svetlana Jaksic, Luca Padovani |
| 2012 | From the π-calculus to flat GHC. Rubén Monjaraz, Julio Mariño |
| 2012 | Functional semantics of parsing actions, and left recursion elimination as continuation passing. Hayo Thielecke |
| 2012 | Goal-directed execution of answer set programs. Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta |
| 2012 | Layered fixed point logic. Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson |
| 2012 | Linear dependent types in a call-by-value scenario. Ugo Dal Lago, Barbara Petit |
| 2012 | Matrix code. Maarten van Emden |
| 2012 | Modeling datalog fact assertion and retraction in linear logic. Edmund Soon Lee Lam, Iliano Cervesato |
| 2012 | Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012 Danny De Schreye, Gerda Janssens, Andy King |
| 2012 | Regular expression sub-matching using partial derivatives. Martin Sulzmann, Kenny Zhuo Ming Lu |
| 2012 | Session types revisited. Ornela Dardha, Elena Giachino, Davide Sangiorgi |
| 2012 | Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
| 2012 | Task-oriented programming in a pure functional language. Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman |
| 2012 | Tor: extensible search with hookable disjunction. Tom Schrijvers, Markus Triska, Bart Demoen |
| 2012 | Transparent function types: clearing up opacity. Enrique Martin-Martin, Juan Rodríguez-Hortalá |