Generic Programming

IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany

Editors:

ISBN: 978-1-4757-5320-2 (Print) 978-0-387-35672-3 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages i-ix

  2. No Access

    Book Chapter

    Pages 1-20

    Generic Programming within Dependently Typed Programming

  3. No Access

    Book Chapter

    Pages 21-47

    Generic H∀SKELL, Specifically

  4. No Access

    Book Chapter

    Pages 49-78

    Generic Accumulations

  5. No Access

    Book Chapter

    Pages 79-88

    A Generic Algorithm for Minimum Chain Partitioning

  6. No Access

    Book Chapter

    Pages 89-119

    Concrete Generic Functionals

  7. No Access

    Book Chapter

    Pages 121-126

    Discussion: The Rôle of Types in Generic Programming

  8. No Access

    Book Chapter

    Pages 127-140

    Making the Usage of STL Safe

  9. No Access

    Book Chapter

    Pages 141-169

    Static Data Structures

  10. No Access

    Book Chapter

    Pages 171-186

    Adaptive Extensions of Object-Oriented Systems

  11. No Access

    Book Chapter

    Pages 187-206

    Complete Traversals as General Iteration Patterns

  12. No Access

    Book Chapter

    Pages 207-236

    Efficient Implementation of Run-time Generic Types for Java

  13. No Access

    Book Chapter

    Pages 237-242

    Discussion: Views of Genericity