Types
Primitive types
Aggregate types
When to do “type checking”
How strong is the checking
Type checking discussion
Operations allowed by the type system?
Subtyping
Ways of thinking about subtyping
Uses of subtyping
Assignability
When is type A<: type B
When is type A<: type B (cont.)
Type equality
Type equality examples
A simple algorithm for structural equivalence
Structural equivalence example
Structural equivalence--it ain’t easy to do
Structural equivalence: new algorithm
Advantages and disadvantages of name equivalence
Type equivalence and distributed environments
Summary
Next topic: Types in languages
Email: diwan%40cs.colorado.edu
Home Page: www.cs.colorado.edu/~diwan/5535