- 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
Created
Created
2022 Dec 3 7:19Creator
Creator
Seonglae ChoEditor
Editor
Seonglae ChoEdited
Edited
2022 Dec 3 7:22Refs
Refs
Inferred Typing