todo
Mention ‘substructural logic’ because I keep forgetting the term
Notes related to Linear logic
Papers related to Linear logic
- TALx86: A realistic typed assembly language [morrisett:wcsss:1999]
- Ynot: Dependent types for imperative programs [nanevski:icfp:2008]
- Alias types [smith:esop:2000]
- Alias types for recursive data structures [walker:tic:2001]