new_bowman_ahmed_2016:
  type: article
  title: Fully Abstract Compilation via Universal Embedding
  author:
  - New, Max S.
  - Bowman, William J.
  - Ahmed, Amal
  date: 2016
  url: http://dl.acm.org/citation.cfm?id=2951941
  parent:
    type: proceedings
    title: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016
    publisher: ACM