IFIP Advances in Information and Communication Technology

Generic Programming

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

Editors: Gibbons, Jeremy, Jeuring, Johan (Eds.)

Buy this book

eBook $129.00
price for USA (gross)
  • ISBN 978-0-387-35672-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $165.00
price for USA
  • ISBN 978-1-4020-7374-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $165.00
price for USA
  • ISBN 978-1-4757-5320-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (12 chapters)

  • Generic Programming within Dependently Typed Programming

    Altenkirch, Thorsten (et al.)

    Pages 1-20

  • Generic H∀SKELL, Specifically

    Clarke, Dave (et al.)

    Pages 21-47

  • Generic Accumulations

    Pardo, Alberto

    Pages 49-78

  • A Generic Algorithm for Minimum Chain Partitioning

    Curtis, Sharon A.

    Pages 79-88

  • Concrete Generic Functionals

    Boute, Raymond T.

    Pages 89-119

Buy this book

eBook $129.00
price for USA (gross)
  • ISBN 978-0-387-35672-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $165.00
price for USA
  • ISBN 978-1-4020-7374-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $165.00
price for USA
  • ISBN 978-1-4757-5320-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Generic Programming
Book Subtitle
IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
Editors
  • Jeremy Gibbons
  • Johan Jeuring
Series Title
IFIP Advances in Information and Communication Technology
Series Volume
115
Copyright
2003
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35672-3
DOI
10.1007/978-0-387-35672-3
Hardcover ISBN
978-1-4020-7374-8
Softcover ISBN
978-1-4757-5320-2
Series ISSN
1868-4238
Edition Number
1
Number of Pages
XIV, 246
Topics