[PDF] Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings John Launchbury (auth.), Paul Hudak, David S. Warren (eds.)

This book, complete with online files and updates, covers a hugely important area of current study in computing.

It constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008.

The symposium was colocated with POPL 2008, the Symposium on Principles of Programming Languages.

The 20 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 44 submissions.

The papers address all current aspects of declarative programming and feature original work emphasizing novel applications and implementation techniques for all forms of declarative concepts.

These include functions, relations, logic, and constraints.