Skip to main content
  • Textbook
  • © 2003

Generic Programming

Advanced Lectures

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (5 chapters)

  1. Front Matter

  2. Chapter 1. Generic Haskell: Practice and Theory

    • Ralf Hinze, Johan Jeuring
    Pages 1-56
  3. Chapter 2. Generic Haskell: Applications

    • Ralf Hinze, Johan Jeuring
    Pages 57-96
  4. Chapter 3. Generic Properties of Datatypes

    • Roland Backhouse, Paul Hoogendijk
    Pages 97-132
  5. Chapter 5. A Mathematical Semantics for Architectural Connectors

    • J. L. Fiadeiro, A. Lopes, M. Wermelinger
    Pages 178-221
  6. Back Matter

About this book

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
  • data structures

Editors and Affiliations

  • School of Computer Science, University of Nottingham, Nottingham, England

    Roland Backhouse

  • Computing Laboratory, Oxford University,  

    Jeremy Gibbons

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions