Olaf Chitil, Andy King, Olivier Danvy
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming
PPDP, 2014.

@proceedings{PPDP-2014,
	acmid         = "2643135",
	address       = "Canterbury, England, United Kingdom",
	editor        = "Olaf Chitil and Andy King and Olivier Danvy",
	isbn          = "978-1-4503-2947-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming}",
	year          = 2014,
}

Contents (27 items)

6 ×#source code
4 ×#declarative
4 ×#functional
4 ×#proving
4 ×#tutorial
3 ×#logic programming
3 ×#on the
2 ×#bidirectional
2 ×#continuation
2 ×#implementation

PPDP-2014-LammelVLSF #declarative #development #tutorial

Declarative Software Development: Distilled Tutorial (RL, AV, ML, TS, JMF), pp. 1–6.

PPDP-2014-DouenceT #imperative #programming

Lazier Imperative Programming (RD, NT), pp. 7–18.

PPDP-2014-MehnerSSV #functional #parametricity #proving #theorem

Parametricity and Proving Free Theorems for Functional-Logic Languages (SM, DS, LS, JV), pp. 19–30.

PPDP-2014-Tarau #encoding

Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers (PT), pp. 31–42.

PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.

PPDP-2014-Ilik #continuation #normalisation #proving #tutorial

Proofs in continuation-passing style: normalization of Gödel’s System T extended with sums and delimited control operators: Distilled Tutorial (DI), pp. 55–56.

PPDP-2014-AsaiFTZ #partial evaluation #specification

A Type Theoretic Specification of Partial Evaluation (KA, LF, PT, YZ), pp. 57–68.

PPDP-2014-DownenMAV #continuation #process

Continuations, Processes, and Sharing (PD, LM, ZMA, DV), pp. 69–80.

PPDP-2014-Neron

Elimination of Square Roots and Divisions by Partial Inlining (PN), pp. 81–92.

PPDP-2014-GiavittoE #realtime

Real-Time Matching of Antescofo Temporal Patterns (JLG, JE), pp. 93–104.

PPDP-2014-Karczmarczuk #concept #declarative #on the #quantum

On the Declarative Structure of Quantum Concepts: States and Observables (JK), pp. 105–110.

PPDP-2014-LucasM #declarative #logic #proving #source code #termination

Proving Operational Termination of Declarative Programs in General Logics (SL, JM), pp. 111–122.

PPDP-2014-YangEMMN #encryption #finite #unification

Theories of Homomorphic Encryption, Unification, and the Finite Variant Property (FY, SE, CM, JM, PN), pp. 123–133.

PPDP-2014-ChenDY #on the #precise #type system

On the Preciseness of Subtyping in Session Types (TCC, MDC, NY), pp. 135–146.

PPDP-2014-PachecoZH #bidirectional #functional #named #xml

BiFluX: A Bidirectional Functional Update Language for XML (HP, TZ, ZH), pp. 147–158.

PPDP-2014-NilssonP #declarative #game studies #programming #tutorial

Declarative Game Programming: Distilled Tutorial (HN, IP), pp. 159–160.

PPDP-2014-FerreiraP #bidirectional #source code

Bidirectional Elaboration of Dependently Typed Programs (FF, BP), pp. 161–174.

PPDP-2014-Ramsay #abstraction #recursion #safety

Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes (SJR), pp. 175–186.

PPDP-2014-KranzS #compilation #domain-specific language #functional #integration #legacy #performance

Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems (JK, AS), pp. 187–198.

PPDP-2014-Schopp #low level #source code #using

Organising Low-Level Programs using Higher Types (US), pp. 199–210.

PPDP-2014-Giacobazzi #source code

Unveiling and Veiling Information in Programs (RG), pp. 211–212.

PPDP-2014-Haemmerle #constraints #logic programming #on the

On Combining Backward and Forward Chaining in Constraint Logic Programming (RH), pp. 213–224.

PPDP-2014-StulovaMH #debugging #higher-order #source code

Assertion-based Debugging of Higher-Order (C)LP Programs (NS, JFM, MVH), pp. 225–235.

PPDP-2014-AotoS #induction #proving #theorem

Decision Procedures for Proving Inductive Theorems without Induction (TA, SS), pp. 237–248.

PPDP-2014-JansenDDJ #evaluation #state of the art

Experimental Evaluation of a State-Of-The-Art Grounder (JJ, ID, JD, GJ), pp. 249–258.

PPDP-2014-SchrijversWDD #functional #heuristic #implementation #logic programming #specification

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.

PPDP-2014-CheneyAA #database #query

Database Queries that Explain their Work (JC, AA, UAA), pp. 271–282.