From SE Wiki
Revision as of 16:37, 22 December 2010 by (Talk)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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