munchmaccagnoni-2015-polarised:
  type: article
  title: Polarised Intermediate Representation of Lambda Calculus with Sums
  author:
  - Munch-Maccagnoni, Guillaume
  - Scherer, Gabriel
  date: 2015-07
  page-range: 127-140
  serial-number:
    doi: 10.1109/lics.2015.22
  parent:
    type: proceedings
    title: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
    publisher: IEEE