Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings<br />Author: Bharat Jayaraman<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-22253-8<br /> DOI: 10.1007/b98355<br /><br />Table of Contents:<p></p><ul><li>An Algebraic Theory of Polymorphic Temporal Media </li><li>Supporting Decisions in Complex, Uncertain Domains with Declarative Languages </li><li>A Typeful Approach to Object-Oriented Programming with Multiple Inheritance </li><li>Compositional Model-Views with Generic Graphical User Interfaces </li><li>An Implementation of Session Types </li><li>UUXML: A Type-Preserving XML Schema–Haskell Data Binding </li><li>Improved Compilation of Prolog to C Using Moded Types and Determinism Information </li><li>A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) </li><li>Pruning in the Extended Andorra Model </li><li>USA-Smart: Improving the Quality of Plans in Answer Set Planning </li><li>$\mathbb{ASP-PROLOG}$ </li><li>Simplifying Dynamic Programming via Tabling </li><li>Symbolic Execution of Behavioral Requirements </li><li>Observing Functional Logic Computations </li><li>Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions </li><li>Typing XHTML Web Applications in ML </li><li>Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell</li></ul>