Advertisement

Generic Programming

Advanced Lectures

  • Roland Backhouse
  • Jeremy Gibbons

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2793)

Table of contents

  1. Front Matter
  2. Ralf Hinze, Johan Jeuring
    Pages 1-56
  3. Ralf Hinze, Johan Jeuring
    Pages 57-96
  4. Roland Backhouse, Paul Hoogendijk
    Pages 97-132
  5. J. L. Fiadeiro, A. Lopes, M. Wermelinger
    Pages 178-221
  6. Back Matter

About this book

Introduction

Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate.

The book presents the following four revised and extended chapters first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002:

- Generic Haskell: Practice and Theory

- Generic Haskell: Applications

- Generic Properties of Datatypes

- Basic Category Theory for Models of Syntax

Keywords

allegory theory architectural structures category theory components datatype genericity generic haskell programming generic programming genericity parametric polymorphism program parameterization programming semantics types

Editors and affiliations

  • Roland Backhouse
    • 1
  • Jeremy Gibbons
    • 2
  1. 1.School of Computer ScienceUniversity of NottinghamNottinghamEngland
  2. 2.Computing LaboratoryOxford University 

Bibliographic information

  • DOI https://doi.org/10.1007/b12027
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20194-6
  • Online ISBN 978-3-540-45191-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site