Objectoriented Programming A Unified Foundation (Progress In Theoretical Computer Science),Used

Objectoriented Programming A Unified Foundation (Progress In Theoretical Computer Science),Used

In Stock
SKU: SONG0817639055
Brand: Birkh
Condition: Used
$28.28
Quantity
Add to wishlist
Add to compare
Sold by Ergodebooks, an authorized reseller.

Processing time: 1-3 days

US Orders Ships in: 3-5 days

International Orders Ships in: 8-12 days

Return Policy: 15-days return on defective items

Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan guage (much more so than parametric polymorphism). With the introduction of objectoriented languages, and in particular with multipledispatch objectoriented languages, overloading has become less of a programming convenience and more of a fundamental feature in need of proper explanation. This book provides a compelling framework for the study of runtime over loading and of its interactions with subtyping and with parametric polymorphism. The book also describes applications to objectoriented programming. This new framework is motivated by the relatively recent spread of programming languages that are entirely based on runtime overloading; this fact probably explains why this subject was not investigated earlier. Once properly understood, overloading reveals itself relevant also to the study of older and more conventional (single dispatch) objectoriented languages, clarifying delicate issues of covariance and contravariance of method types, and of runtime type analysis. In the final chapters, a synthesis is made between parametric and overloading polymorphism.

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

Recently Viewed