Paper Suggestions

for the Programming Languages Reading Group.

Starter papers for:

  • Separation Logic
  • Linear Logic
  • Kripke Logical Relations

From PLMW 2014

Parametricity (suggested by Derek Dreyer)

Universalist reading (suggested by Derek Dreyer)

Existentialist reading (suggested by Derek Dreyer)

Metaresearch