Type stuff

• Modified form of Hindley-Milner algorithm “W”

• Efforts made to handle

  • Mutable types
  • Recursive types
  • Null pointers
  • Uninitialized data
  • Type casts
  • Declaration order

Previous slide

Next slide

Back to first slide

View graphic version