curien-2016-a:
  type: article
  title: 'A theory of effects and resources: adjunction models and polarised calculi'
  author:
  - Curien, Pierre-Louis
  - Fiore, Marcelo
  - Munch-Maccagnoni, Guillaume
  date: 2016-01
  page-range: 44-56
  url: http://dx.doi.org/10.1145/2837614.2837652
  serial-number:
    doi: 10.1145/2837614.2837652
  parent:
    type: proceedings
    title: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    publisher: ACM
    parent:
      type: proceedings
      title: POPL ’16