• Contrast Style 4
  • Contrast Style 3
  • Contrast Style 2
  • Contrast Style 1
Text size

Algebraic Subtyping

Stephen Dolan (author)

UK Price: £75.00 EU Price: €95.00 ROW (USD) Price: $105.00 
add to basket

Buy this eBook

BCS eBooks are available in a variety of formats, including Kindle, ePub and PDF. You can purchase this title from a number of online retailers (including those listed below).

ISBN: 9781780174150
Format: Paperback
Dimensions: 210 x 297 x 10
Number of pages: 158
Publication date: 31 OCT 2017
Publisher: BCS, The Chartered Institute for IT

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. Making this possible are several contributions, beginning with the notion of an “extensible” type system.
Stephen Dolan is a Research Associate in the Department of Computer Science and Technology, University of Cambridge, where he recently completed his PhD on programming languages, extending type inference to handle objects and subtyping. Currently, he works at OCaml Labs in Cambridge on extending OCaml with support for concurrent and parallel programming using algebraic effects.

Add a review

Post a review

Reviews are subject to approval by the moderator

Your Name *

Your Email Address (Not Published) *

Your Comments *


Please type the character "O" *

* = required field