Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Seller: Forgotten Books, London, United Kingdom
Paperback. Condition: New. Print on Demand. This book provides a detailed description of programming mechanisms for integrating algebraic, functional, and object-oriented programming into a coherent framework. The author's language is a statically typed higher-order language with specifications, structures, types, and values, and with universal and existential abstraction over structures, types, and values. The book examines the integration of these mechanisms, as well as the benefits and drawbacks of doing so. It also delves into subtyping, comparing and contrasting implicit and explicit subtyping and discussing their implications for programming. Overall, this book is a valuable resource for those interested in programming languages and the integration of different programming paradigms. It provides a comprehensive overview of the topic, with detailed examples and explanations. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.