Paperback (31 Oct 2017)
Not available for sale
Includes delivery to the United States
Out of stock
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.
| ISBN: | 9781780174150 |
| Publisher: | BCS Learning & Development Limited |
| Imprint: | BCS |
| Pub date: | 31 Oct 2017 |
| DEWEY: | 005.131 |
| DEWEY edition: | 23 |
| Number of pages: | 157 |
| Weight: | 452g |
| Height: | 210mm |
| Width: | 295mm |
| Spine width: | 13mm |
$3.25off
Paperback
Published 16 Mar 2022
Save $3.25
$7.42off
Hardback
Published 06 Sep 2023
Save $7.42
$3.90off
Paperback
Published 22 Nov 2023
Save $3.90
