Class notes 27

Wei Chen

November 4, 1994

Reading: Gunter 7.5 (p.243-249) ML Type Inference (SKIP LET construct)

PLAN

• Subject reduction theorem (highlights and example)
• Termination properties

• Subject Reduction Theorem
  • The Proof Again
  • Example
• Termination Properties
• About this document ...