Articles liés à Practical Aspects of Declarative Languages: 16th Internation...

Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings - Couverture souple

 
9783319041339: Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783319041315: Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Edition présentée

ISBN 10 :  3319041312 ISBN 13 :  9783319041315
Editeur : Springer, 2013
Couverture souple