Practical Aspects of Declarative Languages: 6th International Symposium, Padl 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings (Paperback, 2004)

An Algebraic Theory of Polymorphic Temporal Media.- Supporting Decisions in Complex, Uncertain Domains with Declarative Languages.- A Typeful Approach to Object-Oriented Programming with Multiple Inheritance.- Compositional Model-Views with Generic Graphical User Interfaces.- An Implementation of Session Types.- UUXML: A Type-Preserving XML Schema-Haskell Data Binding.- Improved Compilation of Prolog to C Using Moded Types and Determinism Information.- A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).- Pruning in the Extended Andorra Model.- USA-Smart: Improving the Quality of Plans in Answer Set Planning.- : A System for Reasoning about Answer Set Programs in Prolog.- Simplifying Dynamic Programming via Tabling.- Symbolic Execution of Behavioral Requirements.- Observing Functional Logic Computations.- Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions.- Typing XHTML Web Applications in ML.- Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.