Generic and indexed programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

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 lightweightform of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of twoarguments 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. INDICE: 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.

• ISBN: 978-3-642-32201-3
• Editorial: Springer
• Encuadernacion: Rústica
• Fecha Publicación: 18/07/2012
• Nº Volúmenes: 1
• Idioma: Inglés