Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)3540201947, 9783540201946
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
Table of contents :
Front Matter….Pages –
Chapter 1. Generic Haskell: Practice and Theory….Pages 1-56
Chapter 2. Generic Haskell: Applications….Pages 57-96
Chapter 3. Generic Properties of Datatypes….Pages 97-132
Chapter 4. Basic Category Theory for Models of Syntax….Pages 133-177
Chapter 5. A Mathematical Semantics for Architectural Connectors….Pages 178-221
Back Matter….Pages –
Reviews
There are no reviews yet.