- Operator and operands must have “compatible” types
- Requires to identify types and check them against type rules
- Insert and lookup entries of a symbol table
Type Checking
Creator
Creator
Seonglae ChoCreated
Created
2022 Dec 3 7:19Editor
Editor
Seonglae ChoEdited
Edited
2025 Nov 11 15:52Refs
Refs
Inferred Typing