jung_etal_iris_ground_up_2018:
  type: article
  title: 'Iris from the ground up: {A} modular foundation for higher-order concurrent separation logic'
  author:
  - Jung, Ralf
  - Krebbers, Robbert
  - Jourdan, Jacques-Henri
  - Bizjak, Aleš
  - Birkedal, Lars
  - Dreyer, Derek
  date: 2018
  page-range: e20
  serial-number:
    doi: 10.1017/S0956796818000151
  parent:
    type: periodical
    title: Journal of Functional Programming
    volume: 28