Generic and Indexed Programming

Herausgegeben:Gibbons, Jeremy

• Broschiertes Buch

Produktbeschreibung

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, algebraicstructures, strategies, computational paradigms, and so on. Indexed programming is a lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on.The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality. The 5 lectures included in this book stem from the Spring School on Generic and Indexed Programming, held in Oxford, UK, in March 2010 as a closing activity of the generic and indexed programming project at Oxford which took place in the years 2006-2010.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Theoretical Computer Science and General Issues 7470
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-642-32201-3
• 2012
• Seitenzahl: 268
• Erscheinungstermin: 10. Juli 2012
• Englisch
• Abmessung: 235mm x 155mm x 15mm
• Gewicht: 411g
• ISBN-13: 9783642322013
• ISBN-10: 3642322018
• Artikelnr.: 36040378

Inhaltsangabe

Three Complementary Approaches to Bidirectional Programming.-Generic Programming with Adjunctions.-Typed Tagless Final Interpreters.-The C++0x "Concepts" Effort.-Generic Programming with Dependent Types.
Generic Programming with Adjunctions.-Typed Tagless Final Interpreters.-The C++0x "Concepts" Effort.-Generic Programming with Dependent Types.