zhang-2021-a:
  type: article
  title: A simpler encoding of indexed types
  author: Zhang, Tesla
  date: 2021-08
  page-range: 14-22
  serial-number:
    doi: 10.1145/3471875.3472991
  parent:
    type: proceedings
    title: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development
    publisher: ACM