vanhorn-2010-abstracting:
  type: article
  title: Abstracting abstract machines
  author:
  - Horn, David Van
  - Might, Matthew
  date: 2010-09
  page-range: 51-62
  serial-number:
    doi: 10.1145/1863543.1863553
  parent:
    type: proceedings
    title: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
    publisher: ACM