| _version_ |
1826268224819298304
|
| author2 |
Backhouse, R
|
| author_facet |
Backhouse, R
|
| collection |
OXFORD
|
| description |
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called <em>genericity</em> 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). <em>Datatype-generic programming</em> 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. <p> <a href='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssdgp.jpg\"'> <img alt='\"\"' border='\"0\"' src='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssdgp-thumb.jpg\"' width='\"15\"'/> </a> </p>
|
| first_indexed |
2024-03-06T21:06:23Z
|
| format |
Conference item
|
| id |
oxford-uuid:3c9cbc91-1496-45ee-b88a-6ad88c9f2b81
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T21:06:23Z
|
| publishDate |
2007
|
| publisher |
Springer−Verlag
|
| record_format |
dspace
|
| spelling |
oxford-uuid:3c9cbc91-1496-45ee-b88a-6ad88c9f2b812022-03-26T14:14:37ZSpring School on Datatype−Generic ProgrammingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:3c9cbc91-1496-45ee-b88a-6ad88c9f2b81Department of Computer ScienceSpringer−Verlag2007Backhouse, RGibbons, JHinze, RJeuring, JA leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called <em>genericity</em> 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). <em>Datatype-generic programming</em> 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. <p> <a href='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssdgp.jpg\"'> <img alt='\"\"' border='\"0\"' src='\"http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/ssdgp-thumb.jpg\"' width='\"15\"'/> </a> </p>
|
| spellingShingle |
Spring School on Datatype−Generic Programming
|
| title |
Spring School on Datatype−Generic Programming
|
| title_full |
Spring School on Datatype−Generic Programming
|
| title_fullStr |
Spring School on Datatype−Generic Programming
|
| title_full_unstemmed |
Spring School on Datatype−Generic Programming
|
| title_short |
Spring School on Datatype−Generic Programming
|
| title_sort |
spring school on datatype generic programming
|