Generic programming : advanced lectures
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...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
2793 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Actes d'une conférence tenue à Oxford en août 2002, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Generic programming, advanced lectures, Roland Backhouse, Jeremy Gibbons (eds.), Berlin, Springer, 2003, 1 vol. (IX-221 p.), Lecture notes in computer science, 3-540-20194-7 • Generic Programming, Texte imprimé, 9783662163184 |
جدول المحتويات:
- 1. Generic Haskell: Practice and Theory
- 2. Generic Haskell: Applications
- 3. Generic Properties of Datatypes
- 4. Basic Category Theory for Models of Syntax
- 5. A Mathematical Semantics for Architectural Connectors.