Generic Programming Advanced Lectures /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Backhouse, Roland (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Gibbons, Jeremy (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2793
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Computer programming.; Data structures (Computer science).; Computer logic.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Data Structures.; Logics and Meanings of Programs.

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...

Πίνακας περιεχομένων:

• 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.