6. PADL 2004: Dallas, TX, USA

@proceedings{DBLP:conf/padl/2004,
  editor    = {Bharat Jayaraman},
  title     = {Practical Aspects of Declarative Languages, 6th International
               Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  booktitle = {PADL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3057},
  year      = {2004},
  isbn      = {3-540-22253-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Paul Hudak:
  An Algebraic Theory of Polymorphic Temporal Media. 1-15
  Electronic Edition (link) BibTeX
• Andrew Fall:
  Supporting Decisions in Complex, Uncertain Domains with Declarative Languages. 16-22
  Electronic Edition (link) BibTeX
• Chiyan Chen, Rui Shi, Hongwei Xi:
  A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. 23-38
  Electronic Edition (link) BibTeX
• Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
  Compositional Model-Views with Generic Graphical User Interfaces. 39-55
  Electronic Edition (link) BibTeX
• Matthias Neubauer, Peter Thiemann:
  An Implementation of Session Types. 56-70
  Electronic Edition (link) BibTeX
• Frank Atanassow, Dave Clarke, Johan Jeuring:
  UUXML: A Type-Preserving XML Schema-Haskell Data Binding. 71-85
  Electronic Edition (link) BibTeX
• José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
  Improved Compilation of Prolog to C Using Moded Types and Determinism Information. 86-103
  Electronic Edition (link) BibTeX
• Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo:
  A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). 104-119
  Electronic Edition (link) BibTeX
• Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
  Pruning in the Extended Andorra Model. 120-134
  Electronic Edition (link) BibTeX
• Marcello Balduccini:
  USA-Smart: Improving the Quality of Plans in Answer Set Planning. 135-147
  Electronic Edition (link) BibTeX
• Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
  ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. 148-162
  Electronic Edition (link) BibTeX
• Hai-Feng Guo, Gopal Gupta:
  Simplifying Dynamic Programming via Tabling. 163-177
  Electronic Edition (link) BibTeX
• Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary:
  Symbolic Execution of Behavioral Requirements. 178-192
  Electronic Edition (link) BibTeX
• Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch:
  Observing Functional Logic Computations. 193-208
  Electronic Edition (link) BibTeX
• Martin Erwig, Zhe Fu:
  Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. 209-223
  Electronic Edition (link) BibTeX
• Martin Elsman, Ken Friis Larsen:
  Typing XHTML Web Applications in ML. 224-238
  Electronic Edition (link) BibTeX
• Chiyan Chen, Dengping Zhu, Hongwei Xi:
  Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. 239-254
  Electronic Edition (link) BibTeX