Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.