Practical Aspects of Declarative Languages  16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings /  [electronic resource] : 
edited by Matthew Flatt, Hai-Feng Guo. 
 - Cham :  Springer International Publishing,  2014. 
 - 1 online resource (XVI, 233 p. 51 ill.) 
 - Lecture Notes in Computer Science,  8324  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783319041322 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer programming.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.