Overview

Full Product Details

Author:   Matthew Flatt ,  Hai-Feng Guo
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Volume:   8324
Dimensions:   Width: 15.50cm , Height: 1.30cm , Length: 23.50cm
Weight:   3.869kg
ISBN:  

9783319041315

ISBN 10:   3319041312
Pages:   233
Publication Date:   19 December 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions