wood-2022-a:
  type: chapter
  title: A Framework for Substructural Type Systems
  author:
  - Wood, James
  - Atkey, Robert
  date: 2022
  page-range: 376-402
  url: http://dx.doi.org/10.1007/978-3-030-99336-8_14
  serial-number:
    doi: 10.1007/978-3-030-99336-8_14
    isbn: '9783030993368'
    issn: 1611-3349
  parent:
    type: book
    title: Programming Languages and Systems
    publisher: Springer International Publishing