From SE Wiki
Jump to: navigation, search

Next week's topic

Chapter 22 of Types and Programming Languages

Suggested Topics

Below is a list of topics that have been suggested for future meetings, in no particular order:

General topics

  • Effect systems
  • Subtyping
  • Parametric polymorphism / System F
  • Intersection types
  • Recursive types