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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Backhouse, Roland (Editor), Gibbons, Jeremy (Editor), Hinze, Ralf (Editor), Jeuring, Johan (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4719
• Subjects: 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...

Table of Contents:

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