CSC448: Type Checking Revisited: Discussion [110/133]

Any questions?