• How to write a type checker/type inferrer with good error messages
  Jul 27

• Complete and Liveness, Safe and Sound
  Mar 2

• Control-Flow Analysis
  Jul 27