{"product_id":"generic-and-indexed-programming-von-jeremy-gibbons-hrsg","title":"Generic and Indexed Programming","description":"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\nstructures, 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. \n\nThe 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783642322013\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783642322013","offer_id":39443702087773,"sku":"9783642322013","price":49.22,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/36ed4ac9-7a22-495f-b50a-0e9079cae226.jpg?v=1773555978","url":"https:\/\/shop.autorenwelt.de\/en\/products\/generic-and-indexed-programming-von-jeremy-gibbons-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}