| 2013 | 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013 Ricardo Peña, Tom Schrijvers |
| 2013 | A declarative and bidirectional model transformation approach based on graph co-spans. Yngve Lamo, Florian Mantz, Adrian Rutle, Juan de Lara |
| 2013 | A logical correspondence between natural semantics and abstract machines. Robert J. Simmons, Ian Zerny |
| 2013 | A parameterized graph transformation calculus for finite graphs with monadic branches. Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano |
| 2013 | A semantics for weakly encapsulated search in functional logic programs. Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel |
| 2013 | A synthetic operational account of call-by-need evaluation. Olivier Danvy, Ian Zerny |
| 2013 | An operational foundation for the tactic language of Coq. Wojciech Jedynak, Malgorzata Biernacka, Dariusz Biernacki |
| 2013 | Are Sergio Antoy, Andy Jost |
| 2013 | Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem. Kazutaka Matsuda, Meng Wang |
| 2013 | Coq: the world's best macro assembler? Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand |
| 2013 | Decentralized execution of constraint handling rules for ensembles. Edmund S. L. Lam, Iliano Cervesato |
| 2013 | Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures. Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski |
| 2013 | Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro |
| 2013 | Detecting decidable classes of finitely ground logic programs with function symbols. Marco Calautti, Sergio Greco, Irina Trubitsyna |
| 2013 | Efficient computation of program equivalence for confluent concurrent constraint programming. Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
| 2013 | Engineering definitional interpreters. Jan Midtgaard, Norman Ramsey, Bradford Larsen |
| 2013 | Eventual linear ranking functions. Roberto Bagnara, Fred Mesnard |
| 2013 | Extensible sparse functional arrays with circuit parallelism. John T. O'Donnell |
| 2013 | Finite type extensions in constraint programming. Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes |
| 2013 | Prolog programming with a map-reduce parallel construct. Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha |
| 2013 | Proofs you can believe in: proving equivalences between Prolog semantics in Coq. Jael Kriener, Andy King, Sandrine Blazy |
| 2013 | Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance. Stefan Holdermans |
| 2013 | Reasoning about higher-order relational specifications. Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur |
| 2013 | Shape analysis in a functional language by using regular languages. Manuel Montenegro, Ricardo Peña, Clara Segura |
| 2013 | Theory propagation and rational-trees. Edward Robbins, Jacob M. Howe, Andy King |
| 2013 | Time refinement in a functional synchronous language. Louis Mandel, Cédric Pasteur, Marc Pouzet |
| 2013 | Unifying the Knuth-Bendix, recursive path and polynomial orders. Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe |