default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th 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
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.
last updated on 2024-10-31 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
