L'édition de cet ISBN n'est malheureusement plus disponible.
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 demandeVous 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