Get Free Shipping on orders over $89
Practical Aspects of Declarative Languages : 16th International Symposium, Padl 2014, San Diego, Ca, Usa, January 19-20, 2014, Proceedings - Matthew Flatt

Practical Aspects of Declarative Languages

16th International Symposium, Padl 2014, San Diego, Ca, Usa, January 19-20, 2014, Proceedings

By: Matthew Flatt (Editor), Hai-Feng Guo (Editor)

Paperback | 19 December 2013

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

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.

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$36.75

26%
OFF
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Architectural Approach to Level Design : Second edition - Christopher W.  Totten
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston