gilray-2018-abstract:
  type: article
  title: Abstract allocation as a unified approach to polyvariance in control-flow analyses
  author:
  - GILRAY, THOMAS
  - ADAMS, MICHAEL D.
  - MIGHT, MATTHEW
  date: 2018
  url: http://dx.doi.org/10.1017/s0956796818000138
  serial-number:
    doi: 10.1017/s0956796818000138
    issn: 1469-7653
  parent:
    type: periodical
    title: Journal of Functional Programming
    publisher: Cambridge University Press (CUP)
    volume: 28