Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Gibbons, Jeremy (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7470
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Data structures (Computer science).; Computer logic.; Mathematical logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Data Structures.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraic structures, strategies, computational paradigms, and so on. Indexed programming is a...