Practical Aspects of Declarative Languages

16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

Editors:

ISBN: 978-3-319-04131-5 (Print) 978-3-319-04132-2 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-16

    CML: A Prescription for Safely Relaxing Synchrony

  3. No Access

    Book Chapter

    Pages 17-32

    Partial Type Signatures for Haskell

  4. No Access

    Book Chapter

    Pages 33-48

    The F# Computation Expression Zoo

  5. No Access

    Book Chapter

    Pages 49-64

    Abstract Modular Inference Systems and Solvers

  6. No Access

    Book Chapter

    Pages 65-80

    Sunroof: A Monadic DSL for Generating JavaScript

  7. No Access

    Book Chapter

    Pages 81-86

    Compiling DNA Strand Displacement Reactions Using a Functional Programming Language

  8. No Access

    Book Chapter

    Pages 87-103

    Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems

  9. No Access

    Book Chapter

    Pages 104-119

    Towards Modeling Morality Computationally with Logic Programming

  10. No Access

    Book Chapter

    Pages 120-135

    A Declarative Specification of Giant Number Arithmetic

  11. No Access

    Book Chapter

    Pages 136-151

    Embedding Foreign Code

  12. No Access

    Book Chapter

    Pages 152-167

    Exploring the Use of GPUs in Constraint Solving

  13. No Access

    Book Chapter

    Pages 168-183

    On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs

  14. No Access

    Book Chapter

    Pages 184-199

    Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces

  15. No Access

    Book Chapter

    Pages 200-215

    Expand: Towards an Extensible Pandoc System

  16. No Access

    Book Chapter

    Pages 216-231

    Generic Generic Programming

  17. Back Matter

    Pages -