2014 | OriginalPaper | Chapter
8. Type Inference
Published in:
Foundations of Programming Languages
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.