Generic Programming

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

  • Jeremy Gibbons
  • Johan Jeuring

Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT, volume 115)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Thorsten Altenkirch, Conor Mcbride
    Pages 1-20
  3. Dave Clarke, Andres Löh
    Pages 21-47
  4. Alberto Pardo
    Pages 49-78
  5. Raymond T. Boute
    Pages 89-119
  6. Jeremy Gibbons, Johan Jeuring
    Pages 121-126
  7. Douglas Gregor, Sibylle Schupp
    Pages 127-140
  8. Michael C. Burton, William G. Griswold, Andrew D. Mcculloch, Gary A. Huber
    Pages 141-169
  9. Olaf Seng, Thomas Genssler, Benedikt Schulz
    Pages 171-186
  10. William Klostermeyer, David Musser, A. J. Sánchez-Ruíz
    Pages 187-206
  11. Eric Allen, Robert Cartwright, Brian Stoler
    Pages 207-236
  12. Jeremy Gibbons, Johan Jeuring
    Pages 237-242
  13. Jeremy Gibbons, Johan Jeuring
    Pages E1-E1

About this book

Introduction

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.

Keywords

Ada C programming language D programming language Haskell Processing algorithms data structures object-oriented programming programming programming language

Editors and affiliations

  • Jeremy Gibbons
    • 1
  • Johan Jeuring
    • 2
  1. 1.University of OxfordUK
  2. 2.Utrecht UniversityThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-35672-3
  • Copyright Information IFIP International Federation for Information Processing 2003
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-5320-2
  • Online ISBN 978-0-387-35672-3
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • About this book