Generic Programming

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


ISBN: 978-1-4757-5320-2 (Print) 978-0-387-35672-3 (Online)
Download Book (22,385 KB) As a courtesy to our readers the eBook is provided DRM-free. However, please note that Springer uses effective methods and state-of-the art technology to detect, stop, and prosecute illegal sharing to safeguard our authors’ interests.

Table of contents (12 chapters)

  1. Front Matter

    Pages i-ix

  2. Book Chapter

    Pages 1-20

    Generic Programming within Dependently Typed Programming

  3. Book Chapter

    Pages 21-47

    Generic H∀SKELL, Specifically

  4. Book Chapter

    Pages 49-78

    Generic Accumulations

  5. Book Chapter

    Pages 79-88

    A Generic Algorithm for Minimum Chain Partitioning

  6. Book Chapter

    Pages 89-119

    Concrete Generic Functionals

  7. Book Chapter

    Pages 121-126

    Discussion: The Rôle of Types in Generic Programming

  8. Book Chapter

    Pages 127-140

    Making the Usage of STL Safe

  9. Book Chapter

    Pages 141-169

    Static Data Structures

  10. Book Chapter

    Pages 171-186

    Adaptive Extensions of Object-Oriented Systems

  11. Book Chapter

    Pages 187-206

    Complete Traversals as General Iteration Patterns

  12. Book Chapter

    Pages 207-236

    Efficient Implementation of Run-time Generic Types for Java

  13. Book Chapter

    Pages 237-242

    Discussion: Views of Genericity