Your price
Out of Stock

Algebraic Subtyping

Distinguished Dissertation

By (author) Stephen Dolan
Format: Paperback
Publisher: BCS Learning & Development Limited, Swindon, United Kingdom
Imprint: BCS, The Chartered Institute for IT
Published: 31st Oct 2017
Dimensions: w 210mm h 297mm d 10mm
ISBN-10: 1780174152
ISBN-13: 9781780174150
Barcode No: 9781780174150
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.This thesis presents a type system combining ML-style parametric polymorphism and subtyping, with type inference, principal types, and decidable type subsumption.

New & Used

Seller Information Condition Price
Out of Stock

What Reviewers Are Saying

Be the first to review this item. Submit your review now