Lecture Notes, Week 14

• Weak polymorphism
  • Polymorphic type variables, revisited
  • Interlude
  • Weakly polymorphic type variables
  • Version
• It doesn’t type
  • Interlude
  • Version
• The slash type error
  • The onion, yet again
  • Executive summary
  • Resources
  • Version
• Take-home Chinese food for thought
  • Version
• A musing about variables
  • Semantics: what does “variable” mean?
  • Semiotics: meanings in names
  • Postlude
  • Acknowledgment
  • Version