Marco Gavanelli, John H. Reppy
Proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages
PADL, 2016.

@proceedings{PADL-2016,
	doi           = "10.1007/978-3-319-28228-2",
	editor        = "Marco Gavanelli and John H. Reppy",
	isbn          = "978-3-319-28227-5",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 9585,
	year          = 2016,
}

Contents (11 items)

PADL-2016-JelinekB #array #constraints #logic programming #using

Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station (JJ, RB), pp. 3–12.

PADL-2016-HertumDJD #interactive #paradigm

The KB Paradigm and Its Application to Interactive Configuration (PVH, ID, GJ, MD), pp. 13–29.

PADL-2016-DovierFPV #gpu #implementation

A GPU Implementation of the ASP Computation (AD, AF, EP, FV), pp. 30–47.

PADL-2016-ZhouK #compilation

The Picat-SAT Compiler (NFZ, HK), pp. 48–62.

PADL-2016-AntoyH

Default Rules for Curry (SA, MH), pp. 65–82.

PADL-2016-SerranoH #data type #haskell #regular expression

Generic Matching of Tree Regular Expressions over Haskell Data Types (AS0, JH), pp. 83–98.

PADL-2016-Tarau #encoding #λ-calculus

A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations (PT), pp. 99–116.

PADL-2016-Tarau16a #product line

Computing with Catalan Families, Generically (PT), pp. 117–134.

PADL-2016-CaretteS #algebra #probability #source code #using

Simplifying Probabilistic Programs Using Computer Algebra (JC, CcS), pp. 135–152.

PADL-2016-GrebeG #arduino #monad #named #programming

Haskino: A Remote Monad for Programming the Arduino (MG, AG), pp. 153–168.

PADL-2016-VazouL #monad

From Monads to Effects and Back (NV, DL), pp. 169–186.