default search action

combined dblp search
author search
venue search
publication search

ask others

6th PADL 2004: Dallas, TX, USA

> Home > Conferences and Workshops > PADL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/padl/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/2004
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
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Hudak04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Hudak04
Paul Hudak:
An Algebraic Theory of Polymorphic Temporal Media. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Fall04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Fall04
Andrew Fall:
Supporting Decisions in Complex, Uncertain Domains with Declarative Languages. 16-22
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ChenSX04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ChenSX04
Chiyan Chen, Rui Shi, Hongwei Xi:
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. 23-38
- view
  authority control:
- export record
  dblp key:
  - conf/padl/AchtenEP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AchtenEP04
Peter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Compositional Model-Views with Generic Graphical User Interfaces. 39-55
- view
  authority control:
- export record
  dblp key:
  - conf/padl/NeubauerT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/NeubauerT04
Matthias Neubauer, Peter Thiemann:
An Implementation of Session Types. 56-70
- view
  authority control:
- export record
  dblp key:
  - conf/padl/AtanassowCJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/AtanassowCJ04
Frank Atanassow, Dave Clarke, Johan Jeuring:
UUXML: A Type-Preserving XML Schema-Haskell Data Binding. 71-85
- view
  authority control:
- export record
  dblp key:
  - conf/padl/MoralesCH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/MoralesCH04
José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. 86-103
- view
  authority control:
- export record
  dblp key:
  - conf/padl/CorreasGCCH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/CorreasGCCH04
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
- view
  authority control:
- export record
  dblp key:
  - conf/padl/LopesCS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/LopesCS04
Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
Pruning in the Extended Andorra Model. 120-134
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Balduccini04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Balduccini04
Marcello Balduccini:
USA-Smart: Improving the Quality of Plans in Answer Set Planning. 135-147
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ElkhatibPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ElkhatibPS04
Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. 148-162
- view
  authority control:
- export record
  dblp key:
  - conf/padl/GuoG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/GuoG04
Hai-Feng Guo, Gopal Gupta:
Simplifying Dynamic Programming via Tabling. 163-177
- view
  authority control:
- export record
  dblp key:
  - conf/padl/WangRYC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/WangRYC04
Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary:
Symbolic Execution of Behavioral Requirements. 178-192
- view
  authority control:
- export record
  dblp key:
  - conf/padl/BrasselCHH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/BrasselCHH04
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch:
Observing Functional Logic Computations. 193-208
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ErwigF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ErwigF04
Martin Erwig, Zhe Fu:
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions. 209-223
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ElsmanL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ElsmanL04
Martin Elsman, Ken Friis Larsen:
Typing XHTML Web Applications in ML. 224-238
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ChenZX04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ChenZX04
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.