Book section

Datatype-generic programming

Abstract:

Generic programming aims to increase the flexibility of programming languages, by expanding the possibilities for parametrization - ideally, without also expanding the possibilities for uncaught errors. The term means different things to different people: parametric polymorphism, data abstraction, meta-programming, and so on. We use it to mean polytypism, that is, parametrization by the shape of data structures rather than their contents. To avoid confusion with other uses, we have coined the...

Publication status:
Published

Authors

More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
Volume:
4719
Pages:
1-71
Publication date:
2007-01-01
URN:
uuid:a20f9f6b-3621-4d26-8de4-a61e626e402e
Source identifiers:
163473
Local pid:
pubs:163473
ISBN:
978-3-540-76785-5