Practical Aspects of Declarative Languages: 16th International Symposium, Padl 2014, San Diego, Ca, Usa, January 19-20, 2014, Proceedings

by Matthew Flatt

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.-...

• Format: Paperback
• Language: English
• ISBN: 3319041312
• ISBN13: 9783319041315
• Release Date: December 2013
• Publisher: Springer
• Length: 233 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"