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

ISBN 10: 3642322018 ISBN 13: 9783642322013

Published by Springer, 2012

Language: English

Condition: New Soft cover

Save for Later

Sold by Lucky's Textbooks, Dallas, TX, U.S.A.

AbeBooks Seller since July 22, 2022

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

New - Soft cover

Condition: New

Price: US$ 54.37 Convert Currency

US$ 3.99 shipping within U.S.A. Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Seller Inventory # ABLIING23Mar3113020224135

Contact seller

Report this item

Bibliographic Details

Title

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

Publisher

Springer

Publication Date

2012

Language

English

ISBN 10

3642322018

ISBN 13

9783642322013

Binding

Soft cover

Condition

New

Seller catalogs

About this title

Synopsis

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.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Store Description

Quality books, speedy shipping, and great customer service! Please note that used items may not include access codes or cards, CD's or other accessories, regardless of what is stated in item title. If you need to guarantee that these items are included, please purchase a brand new copy.

Visit Seller's Storefront

Seller's business information

J2B Holdings, LLC
13770 NOEL RD, #803600, Dallas, TX, 75240, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the AbeBooks web
sites. Please note that used items may not include access codes or cards, CD's
or other accessories, regardless of what is stated in item title. If you need to
guarantee that these items are included, please purchase a brand new copy.

All requests for refunds and/or returns will be processed in accordance with
AbeBooks policies. If you're dissatisfied with your purchase (Incorrect Book/Not
as Described/Damaged) or if ...

More Information

Shipping Terms

Books ordered via expedited shipping should arrive between 2 and 7 business days after shipment confirmation. Books ordered via standard shipping should arrive between 4 and 14 business days after shipment confirmation.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 10 business days	3 to 6 business days
First item	US$ 3.99	US$ 6.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.