TY  - BOOK
AU  - Flatt,Matthew
AU  - Guo,Hai-Feng
TI  - Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings 
SN  - 9783319041322
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Computer programming
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
N1  - A Prescription for Safely Relaxing -- Partial Type Signatures for Haskell -- The F# Computation Expression Zoo -- Abstract Modular Inference Systems and Solvers -- Sunroof: A Monadic DSL for Generating JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems -- Towards Modeling Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic -- Embedding Foreign Code -- Exploring the Use of GPUs in Constraint Solving -- On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs -- Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces -- Expand: Towards an Extensible Pandoc System -- Generic Programming
UR  - http://dx.doi.org/10.1007/978-3-319-04132-2
ER  -