6. PADL 2004:
Dallas, TX, USA
Bharat Jayaraman (Ed.):
Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings.
Lecture Notes in Computer Science 3057 Springer 2004, ISBN 3-540-22253-7 
- Paul Hudak:
An Algebraic Theory of Polymorphic Temporal Media.
1-15
- Andrew Fall:
Supporting Decisions in Complex, Uncertain Domains with Declarative Languages.
16-22
- Chiyan Chen, Rui Shi, Hongwei Xi:
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance.
23-38
- Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Compositional Model-Views with Generic Graphical User Interfaces.
39-55
- Matthias Neubauer, Peter Thiemann:
An Implementation of Session Types.
56-70
- Frank Atanassow, Dave Clarke, Johan Jeuring:
UUXML: A Type-Preserving XML Schema-Haskell Data Binding.
71-85
- José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
Improved Compilation of Prolog to C Using Moded Types and Determinism Information.
86-103
- 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
- Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
Pruning in the Extended Andorra Model.
120-134
- Marcello Balduccini:
USA-Smart: Improving the Quality of Plans in Answer Set Planning.
135-147
- Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.
148-162
- Hai-Feng Guo, Gopal Gupta:
Simplifying Dynamic Programming via Tabling.
163-177
- Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary:
Symbolic Execution of Behavioral Requirements.
178-192
- Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch:
Observing Functional Logic Computations.
193-208
- Martin Erwig, Zhe Fu:
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions.
209-223
- Martin Elsman, Ken Friis Larsen:
Typing XHTML Web Applications in ML.
224-238
- Chiyan Chen, Dengping Zhu, Hongwei Xi:
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.
239-254
Last update Thu May 23 02:56:59 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
