CSC448
:
Type Checking: If Time Permits
[44/133]
Type checking for:
Functional programming languages
Object-oriented languages: subtyping and inheritance
More unusual properties