Practical Aspects of Declarative Languages

16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

  • Matthew Flatt
  • Hai-Feng Guo
Conference proceedings PADL 2014

DOI: 10.1007/978-3-319-04132-2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8324)

Table of contents (15 papers)

  1. Front Matter
  2. CML: A Prescription for Safely Relaxing Synchrony
    K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    Pages 1-16
  3. Partial Type Signatures for Haskell
    Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers
    Pages 17-32
  4. The F# Computation Expression Zoo
    Tomas Petricek, Don Syme
    Pages 33-48
  5. Abstract Modular Inference Systems and Solvers
    Yuliya Lierler, Miroslaw Truszczynski
    Pages 49-64
  6. Sunroof: A Monadic DSL for Generating JavaScript
    Jan Bracker, Andy Gill
    Pages 65-80
  7. Towards Modeling Morality Computationally with Logic Programming
    Ari Saptawijaya, Luís Moniz Pereira
    Pages 104-119
  8. Embedding Foreign Code
    Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller
    Pages 136-151
  9. Exploring the Use of GPUs in Constraint Solving
    Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
    Pages 152-167
  10. Expand: Towards an Extensible Pandoc System
    Jacco Krijnen, Doaitse Swierstra, Marcos O. Viera
    Pages 200-215
  11. Generic Generic Programming
    José Pedro Magalhães, Andres Löh
    Pages 216-231
  12. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 41st Symposium on Principles of Programming Languages. The 15 revised papers presented were carefully reviewed and selected from 27 submissions. They cover a wide range of topics related to logic and functional programing, including language support for parallelism and GPUs, constructs and techniques for modularity and extensibility, and applications of declarative programming to document processing and DNA simulation.

Keywords

constraint solving functional languages logic programming parallelism program analysis

Editors and affiliations

  • Matthew Flatt
    • 1
  • Hai-Feng Guo
    • 2
  1. 1.School of ComputingUniversity of UtahSalt Lake CityUSA
  2. 2.Department of Computer ScienceUniversity of NebraskaOmahaUSA

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-04131-5
  • Online ISBN 978-3-319-04132-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349