Abstract is missing.
- An Algebraic Theory of Polymorphic Temporal MediaPaul Hudak. 1-15 [doi]
- Supporting Decisions in Complex, Uncertain Domains with Declarative LanguagesAndrew Fall. 16-22 [doi]
- A Typeful Approach to Object-Oriented Programming with Multiple InheritanceChiyan Chen, Rui Shi, Hongwei Xi. 23-38 [doi]
- Compositional Model-Views with Generic Graphical User InterfacesPeter Achten, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer. 39-55 [doi]
- An Implementation of Session TypesMatthias Neubauer, Peter Thiemann. 56-70 [doi]
- UUXML: A Type-Preserving XML Schema-Haskell Data BindingFrank Atanassow, Dave Clarke, Johan Jeuring. 71-85 [doi]
- Improved Compilation of Prolog to C Using Moded Types and Determinism InformationJosé F. Morales, Manuel Carro, Manuel V. Hermenegildo. 86-103 [doi]
- A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations)Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo. 104-119 [doi]
- Pruning in the Extended Andorra ModelRicardo Lopes, Vítor Santos Costa, Fernando M. A. Silva. 120-134 [doi]
- USA-Smart: Improving the Quality of Plans in Answer Set PlanningMarcello Balduccini. 135-147 [doi]
- ASP-PROLOG: A System for Reasoning about Answer Set Programs in PrologOmar El-Khatib, Enrico Pontelli, Tran Cao Son. 148-162 [doi]
- Simplifying Dynamic Programming via TablingHai-Feng Guo, Gopal Gupta. 163-177 [doi]
- Symbolic Execution of Behavioral RequirementsTao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary. 178-192 [doi]
- Observing Functional Logic ComputationsBernd Brassel, Olaf Chitil, Michael Hanus, Frank Huch. 193-208 [doi]
- Parametric Fortran - A Program Generator for Customized Generic Fortran ExtensionsMartin Erwig, Zhe Fu. 209-223 [doi]
- Typing XHTML Web Applications in MLMartin Elsman, Ken Friis Larsen. 224-238 [doi]
- Implementing Cut Elimination: A Case Study of Simulating Dependent Types in HaskellChiyan Chen, Dengping Zhu, Hongwei Xi. 239-254 [doi]