![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
6th PADL 2004: Dallas, TX, USA
- Bharat Jayaraman:
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, José 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.