Buy new:
$43.98
List Price: $49.99

The List Price is the suggested retail price of a new product as provided by a manufacturer, supplier, or seller. Except for books, Amazon will display a List Price if the product was purchased by customers on Amazon or offered by other retailers at or above the List Price in at least the past 90 days. List prices may not necessarily reflect the product's prevailing market price.
Learn more
Save: $6.01 (12%)
FREE Returns
FREE delivery Friday, April 26. Order within 18 hrs 3 mins
In Stock
$$43.98 () Includes selected options. Includes initial monthly payment and selected options. Details
Price
Subtotal
$$43.98
Subtotal
Initial payment breakdown
Shipping cost, delivery date, and order total (including tax) shown at checkout.
Ships from
Amazon.com
Ships from
Amazon.com
Sold by
Amazon.com
Sold by
Amazon.com
Returns
Eligible for Return, Refund or Replacement within 30 days of receipt
Eligible for Return, Refund or Replacement within 30 days of receipt
This item can be returned in its original condition for a full refund or replacement within 30 days of receipt.
Read full return policy
Returns
Eligible for Return, Refund or Replacement within 30 days of receipt
This item can be returned in its original condition for a full refund or replacement within 30 days of receipt.
Read full return policy
Payment
Secure transaction
Your transaction is secure
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don’t share your credit card details with third-party sellers, and we don’t sell your information to others. Learn more
Payment
Secure transaction
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don’t share your credit card details with third-party sellers, and we don’t sell your information to others. Learn more
Amazon book clubs early access
Loading your book clubs
There was a problem loading your book clubs. Please try again.
Not in a club? Learn more
Amazon book clubs early access

Join or create book clubs

Choose books together

Track your books
Bring your club to Amazon Book Clubs, start a new book club and invite your friends to join, or find a club that’s right for you for free.
Explore Amazon Book Clubs
Kindle app logo image

Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.

Read instantly on your browser with Kindle for Web.

Using your mobile phone camera - scan the code below and download the Kindle app.

QR code to download the Kindle App

Generic and Indexed Programming (Lecture Notes in Computer Science, 7470) 2012th Edition

by Jeremy Gibbons (Editor)
See all formats and editions
{"desktop_buybox_group_1":[{"displayPrice":"$43.98","priceAmount":43.98,"currencySymbol":"$","integerValue":"43","decimalSeparator":".","fractionalValue":"98","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"NhpCLXJcoWmt%2FadOL%2FWAC57nCo7E5y5Rsl19isTm2VwU%2B3u3LqH2cv28jpiR60hDVW648W%2BGDasIQh9j86vWvUKiWYjmGdFF1KSoTLi1Hi17MgcYJCwAG%2BdPxG3P%2Fch2l1dBbpsxYPMUPWxpfT6N6g%3D%3D","locale":"en-US","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

Purchase options and add-ons

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.
Previous page
  1. ISBN-10
    3642322018
  2. ISBN-13
    978-3642322013
  3. Edition
    2012th
  4. Publisher
    Springer
  5. Publication date
    July 10, 2012
  6. Language
    English
  7. Dimensions
    6.1 x 0.61 x 9.25 inches
  8. Print length
    266 pages
  9. See all details
Next page
Amazon First Reads | Editors' picks at exclusive prices

Editorial Reviews

From the Back Cover

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.

Product details

  • Publisher ‏ : ‎ Springer; 2012th edition (July 10, 2012)
  • Language ‏ : ‎ English
  • Paperback ‏ : ‎ 266 pages
  • ISBN-10 ‏ : ‎ 3642322018
  • ISBN-13 ‏ : ‎ 978-3642322013
  • Item Weight ‏ : ‎ 13.4 ounces
  • Dimensions ‏ : ‎ 6.1 x 0.61 x 9.25 inches

Customer reviews

No customer reviews