Practical Aspects of Declarative Languages

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 An Algebraic Theory of Polymorphic Temporal Media
3. Altmetric Badge
   Chapter 2 Supporting Decisions in Complex, Uncertain Domains with Declarative Languages
4. Altmetric Badge
   Chapter 3 A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
5. Altmetric Badge
   Chapter 4 Compositional Model-Views with Generic Graphical User Interfaces
6. Altmetric Badge
   Chapter 5 An Implementation of Session Types
7. Altmetric Badge
   Chapter 6 UUXML: A Type-Preserving XML Schema–Haskell Data Binding
8. Altmetric Badge
   Chapter 7 Improved Compilation of Prolog to C Using Moded Types and Determinism Information
9. Altmetric Badge
   Chapter 8 A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations)
10. Altmetric Badge
    Chapter 9 Pruning in the Extended Andorra Model
11. Altmetric Badge
    Chapter 10 USA-Smart: Improving the Quality of Plans in Answer Set Planning
12. Altmetric Badge
    Chapter 11 $\mathbb{ASP-PROLOG}$ : A System for Reasoning about Answer Set Programs in Prolog
13. Altmetric Badge
    Chapter 12 Simplifying Dynamic Programming via Tabling
14. Altmetric Badge
    Chapter 13 Symbolic Execution of Behavioral Requirements
15. Altmetric Badge
    Chapter 14 Observing Functional Logic Computations
16. Altmetric Badge
    Chapter 15 Parametric Fortran – A Program Generator for Customized Generic Fortran Extensions
17. Altmetric Badge
    Chapter 16 Typing XHTML Web Applications in ML
18. Altmetric Badge
    Chapter 17 Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell