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...
Gorde:
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
2793 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
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 |
| LEADER | 03084nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 948582 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155173707 | ||
| 020 | |a 9783540451914 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Backhouse, Roland Carl, |d 1948- | |
| 245 | 1 | 0 | |a Generic programming : |b advanced lectures |c [edited by] Roland Backhouse, Jeremy Gibbons. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2793 |x 1611-3349 | |
| 500 | |a Actes d'une conférence tenue à Oxford en août 2002, d'après l écran-titre | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Gibbons, Jeremy, |d 1966- |4 pbd | |
| 776 | 0 | |0 07503168X |t Generic programming |o advanced lectures |f Roland Backhouse, Jeremy Gibbons (eds.) |c Berlin |n Springer |d 2003 |p 1 vol. (IX-221 p.) |s Lecture notes in computer science |z 3-540-20194-7 | |
| 776 | 0 | |t Generic Programming |b Texte imprimé |z 9783662163184 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b12027 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-S05Z2QR2-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748055401 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b12027 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751506680 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b12027 |z Accès INSA CVL | |
| 997 | |0 948582 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||