| 2014 | A Type Theoretic Specification of Partial Evaluation. Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang |
| 2014 | Assertion-based Debugging of Higher-Order (C)LP Programs. Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo |
| 2014 | BiFluX: A Bidirectional Functional Update Language for XML. Hugo Pacheco, Tao Zan, Zhenjiang Hu |
| 2014 | Bidirectional Elaboration of Dependently Typed Programs. Francisco Ferreira, Brigitte Pientka |
| 2014 | Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. Paul Tarau |
| 2014 | Continuations, Processes, and Sharing. Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca |
| 2014 | Database Queries that Explain their Work. James Cheney, Amal Ahmed, Umut A. Acar |
| 2014 | Decision Procedures for Proving Inductive Theorems without Induction. Takahito Aoto, Sorin Stratulat |
| 2014 | Declarative Game Programming: Distilled Tutorial. Henrik Nilsson, Ivan Perez |
| 2014 | Declarative Software Development: Distilled Tutorial. Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre |
| 2014 | Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein |
| 2014 | Elimination of Square Roots and Divisions by Partial Inlining. Pierre Neron |
| 2014 | Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes. Steven J. Ramsay |
| 2014 | Experimental Evaluation of a State-Of-The-Art Grounder. Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens |
| 2014 | Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen |
| 2014 | Lazier Imperative Programming. Rémi Douence, Nicolas Tabareau |
| 2014 | On Combining Backward and Forward Chaining in Constraint Logic Programming. Rémy Haemmerlé |
| 2014 | On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial). Jerzy Karczmarczuk |
| 2014 | On the Preciseness of Subtyping in Session Types. Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2014 | Organising Low-Level Programs using Higher Types. Ulrich Schöpp |
| 2014 | Parametricity and Proving Free Theorems for Functional-Logic Languages. Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer |
| 2014 | Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014 Olaf Chitil, Andy King, Olivier Danvy |
| 2014 | Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled Tutorial. Danko Ilik |
| 2014 | Proving Operational Termination of Declarative Programs in General Logics. Salvador Lucas, José Meseguer |
| 2014 | Real-Time Matching of Antescofo Temporal Patterns. Jean-Louis Giavitto, José Echeveste |
| 2014 | Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. Julian Kranz, Axel Simon |
| 2014 | Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran |
| 2014 | Unveiling and Veiling Information in Programs. Roberto Giacobazzi |