Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /

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

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 ?oating-point num...

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

• Datatype-Generic Programming
• Comparing Approaches to Generic Programming in Haskell
• Generic Programming, Now!
• Generic Programming with Dependent Types
• Generic Programming in ?mega
• Revealing the X/O Impedance Mismatch.