Hint

Swipe to navigate through the chapters of this book

2014 | OriginalPaper | Chapter

8. Type Inference

Author: Kent D. Lee

Publisher: Springer International Publishing

Published in: Foundations of Programming Languages

» Get access to the full version

Abstract

Many language implementations, like C++ and Java, check the types of values and operations to be sure each operation is supported for the types of its operands.

Please log in to get access to this content

Title

Type Inference

Book

Foundations of Programming Languages

Print ISBN: 978-3-319-13313-3

Electronic ISBN: 978-3-319-13314-0

https://doi.org/10.1007/978-3-319-13314-0

DOI

https://doi.org/10.1007/978-3-319-13314-0_8

Author:

Kent D. Lee

Publisher

Springer International Publishing

Sequence number

Chapter number

Chapter 8

Macmillian Higher Education

Hint

Swipe to navigate through the chapters of this book

Abstract

Please log in to get access to this content