Conference item
Spring School on Datatype−Generic Programming
- Abstract:
-
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and floating-point numbers, through structured values, types and classes, to kinds (the type of types and/or classes). Datatype-generic programming is about parametrising programs by the structure of the data that they manipulate, exploiting that structure when it is relevant and ignoring it when it is not. Programming languages most commonly used at the present time do not provide effective mechanisms for documenting and implementing datatype genericity. This volume is a contribution towards improving the state of the art.
![\"\"](\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssdgp-thumb.jpg\")
![\"\"](\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssdgp.jpg\")
Actions
Authors
Contributors
+ Backhouse, R
- Role:
- Editor
+ Gibbons, J
- Institution:
- University of Oxford
- Division:
- MPLS
- Department:
- Computer Science
- Role:
- Editor
+ Hinze, R
- Role:
- Editor
+ Jeuring, J
- Role:
- Editor
- Publisher:
- Springer−Verlag
- Host title:
- Spring School on Datatype−Generic Programming
- Volume:
- 4719
- Publication date:
- 2007-01-01
- UUID:
-
uuid:3c9cbc91-1496-45ee-b88a-6ad88c9f2b81
- Local pid:
-
cs:1390
- Deposit date:
-
2015-03-12
Terms of use
- Copyright date:
- 2007
If you are the owner of this record, you can report an update to it here: Report update to this record