Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Matthew Flatt, Hai-Feng Guo · 2014
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.