| 2014 | A Declarative Specification of Giant Number Arithmetic. Paul Tarau |
| 2014 | Abstract Modular Inference Systems and Solvers. Yuliya Lierler, Miroslaw Truszczynski |
| 2014 | Compiling DNA Strand Displacement Reactions Using a Functional Programming Language. Matthew R. Lakin, Andrew Phillips |
| 2014 | Embedding Foreign Code. Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
| 2014 | Expand: Towards an Extensible Pandoc System. Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera |
| 2014 | Exploring the Use of GPUs in Constraint Solving. Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
| 2014 | Generic Generic Programming. José Pedro Magalhães, Andres Löh |
| 2014 | On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. Miguel Areias, Ricardo Rocha |
| 2014 | Partial Type Signatures for Haskell. Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers |
| 2014 | Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings Matthew Flatt, Hai-Feng Guo |
| 2014 | R K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan |
| 2014 | Sunroof: A Monadic DSL for Generating JavaScript. Jan Bracker, Andy Gill |
| 2014 | The F# Computation Expression Zoo. Tomas Petricek, Don Syme |
| 2014 | Towards Modeling Morality Computationally with Logic Programming. Ari Saptawijaya, Luís Moniz Pereira |
| 2014 | Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. Tran Cao Son, Enrico Pontelli, Tiep Le |
| 2014 | Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. Martin Elsman, Anders Schack-Nielsen |