Practical Aspects of Declarative Languages : 16th International Symposium, Padl 2014, San Diego, Ca, Usa, January 19-20, 2014, Proceedings
Overview
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783319041315
- ISBN-10: 3319041312
- Publisher: Springer
- Publish Date: December 2013
- Dimensions: 9.21 x 6.14 x 0.53 inches
- Shipping Weight: 0.79 pounds
- Page Count: 233
Related Categories
