takikawa_etal_2016:
  type: article
  title: Is Sound Gradual Typing Dead?
  author:
  - Takikawa, Asumu
  - Feltey, Daniel
  - Greenman, Ben
  - New, Max S.
  - Vitek, Jan
  - Felleisen, Matthias
  date: 2016
  url: http://dl.acm.org/citation.cfm?id=2837630
  parent:
    type: proceedings
    title: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016
    publisher: ACM