Matthew Flatt, Hai-Feng Guo
Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages
PADL, 2014.

@proceedings{PADL-2014,
	address       = "San Diego, California, USA",
	doi           = "10.1007/978-3-319-04132-2",
	editor        = "Matthew Flatt and Hai-Feng Guo",
	isbn          = "978-3-319-04131-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 8324,
	year          = 2014,
}

Contents (15 items)

4 ×#named
2 ×#logic programming
2 ×#source code
2 ×#towards

PADL-2014-SivaramakrishnanZJ #named

RCML: A Prescription for Safely Relaxing Synchrony (KCS, LZ, SJ), pp. 1–16.

PADL-2014-WinantDPS #haskell

Partial Type Signatures for Haskell (TW, DD, FP, TS), pp. 17–32.

PADL-2014-PetricekS #f#

The F# Computation Expression Zoo (TP, DS), pp. 33–48.

PADL-2014-LierlerT #composition

Abstract Modular Inference Systems and Solvers (YL, MT), pp. 49–64.

PADL-2014-BrackerG #domain-specific language #generative #javascript #monad #named

Sunroof: A Monadic DSL for Generating JavaScript (JB, AG), pp. 65–80.

PADL-2014-LakinP #compilation #functional #programming language #using

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.

PADL-2014-SonPL #multi #prolog #source code

Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems (TCS, EP, TL), pp. 87–103.

PADL-2014-SaptawijayaP #logic programming #modelling #towards

Towards Modeling Morality Computationally with Logic Programming (AS, LMP), pp. 104–119.

PADL-2014-Tarau #declarative #specification

A Declarative Specification of Giant Number Arithmetic (PT), pp. 120–135.

PADL-2014-Clifton-EverestMCK

Embedding Foreign Code (RCE, TLM, MMTC, GK), pp. 136–151.

PADL-2014-CampeottoPDFP #constraints #theorem proving #using

Exploring the Use of GPUs in Constraint Solving (FC, ADP, AD, FF, EP), pp. 152–167.

PADL-2014-AreiasR #correctness #logic programming #on the #performance #source code

On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs (MA, RR), pp. 168–183.

PADL-2014-ElsmanS #evaluation #named #rule-based #static typing #user interface

Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces (ME, ASN), pp. 184–199.

PADL-2014-KrijnenSV #named #towards

Expand: Towards an Extensible Pandoc System (JK, SDS, MV), pp. 200–215.

PADL-2014-MagalhaesL #programming

Generic Generic Programming (JPM, AL), pp. 216–231.