default search action
PPDP 2014: Kent, Canterbury, UK
- Olaf Chitil, Andy King, Olivier Danvy:
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. ACM 2014, ISBN 978-1-4503-2947-7 - Ralf Lämmel
, Andrei Varanovich, Martin Leinberger
Declarative Software Development: Distilled Tutorial. 1-6 - Rémi Douence, Nicolas Tabareau:
Lazier Imperative Programming. 7-18 - Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer:
Parametricity and Proving Free Theorems for Functional-Logic Languages. 19-30 - Paul Tarau:
Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. 31-42 - Flávio Cruz, Ricardo Rocha
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. 43-54 - Danko Ilik
Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled Tutorial. 55-56 - Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang:
A Type Theoretic Specification of Partial Evaluation. 57-68 - Paul Downen
Continuations, Processes, and Sharing. 69-80 - Pierre Neron:
Elimination of Square Roots and Divisions by Partial Inlining. 81-92 - Jean-Louis Giavitto, José Echeveste:
Real-Time Matching of Antescofo Temporal Patterns. 93-104 - Jerzy Karczmarczuk:
On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial). 105-110 - Salvador Lucas
Proving Operational Termination of Declarative Programs in General Logics. 111-122 - Fan Yang, Santiago Escobar
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. 123-133 - Tzu-Chun Chen
On the Preciseness of Subtyping in Session Types. 135-146 - Hugo Pacheco
BiFluX: A Bidirectional Functional Update Language for XML. 147-158 - Henrik Nilsson
Declarative Game Programming: Distilled Tutorial. 159-160 - Francisco Ferreira, Brigitte Pientka:
Bidirectional Elaboration of Dependently Typed Programs. 161-174 - Steven J. Ramsay
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes. 175-186 - Julian Kranz
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. 187-198 - Ulrich Schöpp
Organising Low-Level Programs using Higher Types. 199-210 - Roberto Giacobazzi:
Unveiling and Veiling Information in Programs. 211-212 - Rémy Haemmerlé:
On Combining Backward and Forward Chaining in Constraint Logic Programming. 213-224 - Nataliia Stulova
Assertion-based Debugging of Higher-Order (C)LP Programs. 225-235 - Takahito Aoto, Sorin Stratulat:
Decision Procedures for Proving Inductive Theorems without Induction. 237-248 - Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens:
Experimental Evaluation of a State-Of-The-Art Grounder. 249-258 - Tom Schrijvers
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. 259-270 - James Cheney
Database Queries that Explain their Work. 271-282
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-26 23:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: