Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Parallel Programming

Algebraic subtyping: Distinguished Dissertation 2017


Free Shipping Included! Save 1% on the Algebraic Subtyping (Distinguished Dissertation) by BCS, the Chartered Institute for It at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Type inference gives programmers the benefit of static, compile-time type checking without the cost of manually specifying types, and has long been a


Product Description

Type inference gives programmers the benefit of static, compile-time type checking without the cost of manually specifying types, and has long been a standard feature of functional programming languages. However, it has proven difficult to integrate type inference with subtyping, since the unification engine at the core of classical type inference accepts only equations, not subtyping constraints.
This thesis presents a type system combining ML-style parametric polymorphism and subtyping, with type inference, principal types, and decidable type subsumption. Type inference is based on biunification, an analogue of unification that works with subtyping constraints.
Making this possible are several contributions, beginning with the notion of an “extensible” type system, in which an open world of types is assumed, so that no typeable program becomes untypeable by the addition of new types to the language. While previous formulations of subtyping fail to be extensible, this thesis shows that adopting a more algebraic approach can remedy this. Using such an approach, this thesis develops the theory of biunification, shows how it is used to infer types, and shows how it can be efficiently implemented, exploiting deep connections between the algebra of regular languages and polymorphic subtyping.

Additional Information

Manufacturer:BCS, The Chartered Institute for IT
Publisher:BCS, The Chartered Institute for IT
Studio:BCS, The Chartered Institute for IT
EAN:9781780174150
Item Size:0.34 x 11.69 x 11.69 inches
Package Weight:0.87 pounds
Package Size:8.27 x 0.34 x 0.34 inches

Algebraic Subtyping (Distinguished Dissertation) by BCS, the Chartered Institute for It

Buy Now:
Algebraic Subtyping (Distinguished Dissertation)

Brand: BCS, the Chartered Institute for It
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$105.00
$104.62


Quantity:  

 


View More In Parallel Programming.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by BCS, the Chartered Institute for It, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Itp - Media
ean: 9781850321880, isbn: 1850321884,
In recent years, parallel computing has become an important alternative to the serial model of computation, accelerating the development of more computing power and higher processing speed. Parallel computers, along with the reduction in cost and siz...

By Brand: World Scientific Publishing Company
mpn: Illustrations, ean: 9781860942358, isbn: 1860942350,
This millennium will see the increased use of parallel computing technologies at all levels of mainstream computing. Most computer hardware will use these technologies to achieve higher computing speeds, high speed access to very large distributed da...

By Imperial College Pr
ean: 9781860943157, isbn: 1860943152,
The near future will see the increased use of parallel computing technologies at all levels of mainstream computing. Computer hardware increasingly employs parallel techniques to improve computing power for the solution of large scale and computer in...

By Jordi Cortadella
mpn: Illustrations, ean: 9783540001997, isbn: 3540001999,
As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. They m...

By Jose M L M Palma
mpn: Illustrations, ean: 9783540419990, isbn: 3540419993,
This book is the ?nal outcome of VECPAR 2000 – 4th International Meeting on Vector and Parallel Processing. VECPAR constitutes a series of conferences, which have been organized by the Faculty of Engineering of the University of Porto since 1993, w...

By Springer
ean: 9783540423591, isbn: 3540423591,
This book constitutes the refereed proceedings of the Second International Workshop on Machine Learning and Data Mining in Pattern Recognition, MLDM 2001, held in Leipzig, Germany in July 2001.The 26 revised full papers presented together with two in...

By Rizos Sakellariou J Keane J Gurd
mpn: biography, ean: 9783540424956, isbn: 3540424954,
Euro-Par – the European Conference on Parallel Computing – is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing. The major themes can be divided into the broad categories of hardwar...

By K G Larsen M Nielsen
mpn: 1, ean: 9783540424970, isbn: 3540424970,
This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presented together with six invited contributions were carefull...

By Victor E Malyshkin
mpn: Illustrations, ean: 9783540425229, isbn: 3540425225,
The PaCT-2001 (Parallel Computing Technologies) conference was a four-day conference held in Akademgorodok (Novosibirsk), September 3-7, 2001. This was the sixth international conference in the PaCT series, organized in Russia every odd year. The ?rs...

By Springer
mpn: 1, ean: 9783540437864, isbn: 354043786X,
This book constitutes the refereed proceedings of the 6th International Conference on Applied Parallel Computing, PARA 2002, held in Espoo, Finland, in June 2002.The 50 revised full papers presented together with nine keynote lectures were carefully ...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.