Your Waterstones card is changing, introducing...
TELL ME MORE
Generic and Indexed Programming - Theoretical Computer Science and General Issues 7470 (Paperback)
  • Generic and Indexed Programming - Theoretical Computer Science and General Issues 7470 (Paperback)
zoom

Generic and Indexed Programming - Theoretical Computer Science and General Issues 7470 (Paperback)

(editor)
£39.99
Paperback 259 Pages / Published: 10/07/2012
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642322013
Number of pages: 259
Weight: 415 g
Dimensions: 235 x 155 x 14 mm
Edition: 2012 ed.

You may also be interested in...

Python Crash Course
Added to basket
£33.99
Paperback
Python Pocket Reference
Added to basket
C Programming in Easy Steps
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
SQL For Dummies
Added to basket
£21.99
Paperback
SQL in Easy Steps
Added to basket
£10.99
Paperback
Python Cookbook: No. 3
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Coding for Beginners in easy steps
Added to basket
Learning SQL
Added to basket
£31.99
Paperback
The Bride of Science
Added to basket
JavaScript in Easy Steps
Added to basket
Puzzles for Programmers and Pros
Added to basket
C++ Pocket Reference
Added to basket
Code
Added to basket
£21.99
Paperback
Arduino Workshop
Added to basket
£24.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.