Andy King
Special issue on Principles and Practice of Declarative Programming — PPDP 2012
PPDP-J-2012, 2014.

@proceedings{PPDP-J-2012,
	editor        = "Andy King",
	journal       = "{Science of Computer Programming}",
	publisher     = "{Elsevier}",
	title         = "{Special issue on Principles and Practice of Declarative Programming — PPDP 2012}",
	volume        = 84,
	year          = 2014,
}

Contents (5 items)

PPDP-J-2012-Emden14 #matrix

Matrix Code (MHvE), pp. 3–21.

PPDP-J-2012-JaksicP14 #exception

Exception handling for copyless messaging (SJ, LP), pp. 22–51.

PPDP-J-2012-Thielecke14 #on the #parsing #semantics

On the semantics of parsing actions (HT), pp. 52–76.

PPDP-J-2012-LagoP14 #call-by #dependent type #linear

Linear dependent types in a call-by-value scenario (UDL, BP), pp. 77–100.

PPDP-J-2012-SchrijversDTD14 #composition #named

Tor: Modular search with hookable disjunction (TS, BD, MT, BD), pp. 101–120.