Editors:
Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2793)
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (5 chapters)
-
Front Matter
-
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
Book Title: Generic Programming
Book Subtitle: Advanced Lectures
Editors: Roland Backhouse, Jeremy Gibbons
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b12027
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-20194-6Published: 29 September 2003
eBook ISBN: 978-3-540-45191-4Published: 25 November 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 230
Topics: Software Engineering, Compilers and Interpreters, Programming Techniques, Data Science, Computer Science Logic and Foundations of Programming