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.
CITATION STYLE
Lee, K. D. (2014). Type Inference (pp. 295–323). https://doi.org/10.1007/978-3-319-13314-0_8
Mendeley helps you to discover research relevant for your work.