Go back
Generic And Indexed Programming LNCS 7470(1st Edition)
Authors:
Jeremy Gibbons
Cover Type:Hardcover
Condition:Used
In Stock
Include with your book
Free shipping: April 06, 2024Popular items with books
Access to 3 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $41.88
Savings: $41.88(100%)
Book details
ISBN: 3642322018, 978-3642322013
Book publisher: Springer
Get your hands on the best-selling book Generic And Indexed Programming LNCS 7470 1st Edition for free. Feed your curiosity and let your imagination soar with the best stories coming out to you without hefty price tags. Browse SolutionInn to discover a treasure trove of fiction and non-fiction books where every page leads the reader to an undiscovered world. Start your literary adventure right away and also enjoy free shipping of these complimentary books to your door.
Generic And Indexed Programming LNCS 7470 1st Edition Summary: 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 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.
Customers also bought these books
Frequently Bought Together
Top Reviews for Books
Varunan Asokan
( 5 )
"Delivery was considerably fast, and the book I received was in a good condition."