Conferences in DBLP

Practical Aspects of Declarative Languages (PADL) (padl)
2004 (conf/padl/2004)

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