Skip to main content
  • Book
  • © 2003

Generic Programming

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

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 115)

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (13 chapters)

  1. Front Matter

    Pages i-ix
  2. Generic Programming within Dependently Typed Programming

    • Thorsten Altenkirch, Conor Mcbride
    Pages 1-20
  3. Generic H∀SKELL, Specifically

    • Dave Clarke, Andres Löh
    Pages 21-47
  4. Generic Accumulations

    • Alberto Pardo
    Pages 49-78
  5. Concrete Generic Functionals

    • Raymond T. Boute
    Pages 89-119
  6. Discussion: The Rôle of Types in Generic Programming

    • Jeremy Gibbons, Johan Jeuring
    Pages 121-126
  7. Making the Usage of STL Safe

    • Douglas Gregor, Sibylle Schupp
    Pages 127-140
  8. Static Data Structures

    • Michael C. Burton, William G. Griswold, Andrew D. Mcculloch, Gary A. Huber
    Pages 141-169
  9. Adaptive Extensions of Object-Oriented Systems

    • Olaf Seng, Thomas Genssler, Benedikt Schulz
    Pages 171-186
  10. Complete Traversals as General Iteration Patterns

    • William Klostermeyer, David Musser, A. J. Sánchez-Ruíz
    Pages 187-206
  11. Efficient Implementation of Run-time Generic Types for Java

    • Eric Allen, Robert Cartwright, Brian Stoler
    Pages 207-236
  12. Discussion: Views of Genericity

    • Jeremy Gibbons, Johan Jeuring
    Pages 237-242
  13. Erratum to: Generic Programming

    • Jeremy Gibbons, Johan Jeuring
    Pages E1-E1

About this book

Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example, they may be other programs, types or type constructors, class hierarchies, or even programming paradigms.

Generic programming techniques have always been of interest, both to practitioners and to theoreticians, but only recently have generic programming techniques become a specific focus of research in the functional and object-oriented programming language communities.

Generic Programming comprises the edited proceedings of the Working Conference on Generic Programming, which was sponsored by the International Federation for Information Processing (IFIP) and held in Dagstuhl, Germany in July 2002. With contributions from leading researchers around the world, this volume captures the state of the art in this important emerging area.

Editors and Affiliations

  • University of Oxford, UK

    Jeremy Gibbons

  • Utrecht University, The Netherlands

    Johan Jeuring

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access