Practical Aspects of Declarative Languages
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 ℞CML: A Prescription for Safely Relaxing Synchrony
-
Altmetric BadgeChapter 2 Partial Type Signatures for Haskell
-
Altmetric BadgeChapter 3 The F# Computation Expression Zoo
-
Altmetric BadgeChapter 4 Abstract Modular Inference Systems and Solvers
-
Altmetric BadgeChapter 5 Sunroof: A Monadic DSL for Generating JavaScript
-
Altmetric BadgeChapter 6 Compiling DNA Strand Displacement Reactions Using a Functional Programming Language
-
Altmetric BadgeChapter 7 Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems
-
Altmetric BadgeChapter 8 Towards Modeling Morality Computationally with Logic Programming
-
Altmetric BadgeChapter 9 A Declarative Specification of Giant Number Arithmetic
-
Altmetric BadgeChapter 10 Embedding Foreign Code
-
Altmetric BadgeChapter 11 Exploring the Use of GPUs in Constraint Solving
-
Altmetric BadgeChapter 12 On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
-
Altmetric BadgeChapter 13 Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces
-
Altmetric BadgeChapter 14 Expand: Towards an Extensible Pandoc System
-
Altmetric BadgeChapter 15 Generic Generic Programming