Generic And Indexed Programming LNCS 7470(1st Edition)
Authors:
Jeremy Gibbons
In Stock
Include with your book
Free shipping: April 06, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3642322018, 978-3642322013
Book publisher: Springer
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
People And Polity The Organizational Dynamics Of World Jewry - 1st Edition
Daniel J. Elazar
ISBN: 0814318436, 9780814318430
$0 $39.00Frequently Bought Together
Canadian Organizational Behaviour - 9th edition
Steven McShane
ISBN: 1259030539, 1259030536, 978-1259030536
$0 $199.95
The Mourning Handbook The Most Comprehensive Resource Offering Practical And Compassionate Advice On Coping With All Aspects Of Death And Dying - 1st Edition
Helen Fitzgerald
ISBN: 0684801612, 978-0684801612
$0 $11.99
Accounting Volume 1 - 9th Canadian edition
Charles T. Horngren
ISBN: 978-013309863, 9780133128338, 013309863X, 133128334, 978-0132690096
$0 $483.87
Pharmacists Guide To Top Pharm Rxs Top 100 Prescribed Drugs - 1st Edition
Dr Shahram Amin Zadeh
ISBN: B0CVLMGJKG, 979-8879335002
$0 $17.08
?Woanger 8 Pieces Badminton Rackets Set With 12 Badminton 4 Carrying Bag Shuttlecocks -
?Woanger
ISBN: B0BSFLHTJR
$0 $74.00
Top Reviews for Books
