COMS W4115
Programming Languages and Translators
Lecture 18: Types in Programming Languages
April 2, 2008

Lecture Outline

  1. Review
  2. Types
  3. Type equivalence
  4. Type inference
  5. Type conversions
  6. Run-time storage organization
  7. Reading

1. Review

2. Types

3. Type Equivalence

4. Type Inference Rules

5. Type Conversions


6. Run-time Storage Organization

7. Reading



aho@cs.columbia.edu