| 2013 | Time refinement in a functional synchronous language. | Louis Mandel, Cdric Pasteur, Marc Pouzet |
| 2013 | A declarative and bidirectional model transformation approach based on graph co-spans. | Yngve Lamo, Florian Mantz, Adrian Rutle, Juan de Lara |
| 2013 | Decentralized execution of constraint handling rules for ensembles. | Edmund S. L. Lam, Iliano Cervesato |
| 2013 | Proofs you can believe in: proving equivalences between Prolog semantics in Coq. | Jael Kriener, Andy King, Sandrine Blazy |
| 2013 | Coq: the world's best macro assembler? | Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-variste Dagand |
| 2013 | An operational foundation for the tactic language of Coq. | Wojciech Jedynak, Malgorzata Biernacka, Dariusz Biernacki |
| 2013 | Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance. | Stefan Holdermans |
| 2013 | Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. | lvaro Garca-Prez, Pablo Nogueira, Juan Jos Moreno-Navarro |
| 2013 | A synthetic operational account of call-by-need evaluation. | Olivier Danvy, Ian Zerny |
| 2013 | Prolog programming with a map-reduce parallel construct. | Joana Crte-Real, Ins de Castro Dutra, Ricardo Rocha |
| 2013 | A semantics for weakly encapsulated search in functional logic programs. | Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel |
| 2013 | Detecting decidable classes of finitely ground logic programs with function symbols. | Marco Calautti, Sergio Greco, Irina Trubitsyna |
| 2013 | Finite type extensions in constraint programming. | Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes |
| 2013 | Eventual linear ranking functions. | Roberto Bagnara, Fred Mesnard |
| 2013 | A parameterized graph transformation calculus for finite graphs with monadic branches. | Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano |
| 2013 | Are | Sergio Antoy, Andy Jost |
| 2012 | Compiling CHR to parallel hardware. | Andrea Triossi, Salvatore Orlando, Alessandra Raffaet, Thom W. Frhwirth |
| 2012 | Functional semantics of parsing actions, and left recursion elimination as continuation passing. | Hayo Thielecke |
| 2012 | Regular expression sub-matching using partial derivatives. | Martin Sulzmann, Kenny Zhuo Ming Lu |
| 2012 | Tor: extensible search with hookable disjunction. | Tom Schrijvers, Markus Triska, Bart Demoen |
| 2012 | Task-oriented programming in a pure functional language. | Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman |
| 2012 | A linear concurrent constraint approach for the automatic verification of access permissions. | Carlos Olarte, Elaine Pimentel, Camilo Rueda, Nstor Catao |
| 2012 | From the π-calculus to flat GHC. | Rubn Monjaraz, Julio Mario |
| 2012 | Transparent function types: clearing up opacity. | Enrique Martin-Martin, Juan Rodrguez-Hortal |
| 2012 | Goal-directed execution of answer set programs. | Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta |