Articoli correlati a 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 - Brossura

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3319041312 ISBN 13:  9783319041315
Casa editrice: Springer, 2013
Brossura