@inproceedings{zhang-2021-a,
  author = {Tesla Zhang},
  title = {A simpler encoding of indexed types},
  booktitle = {Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development},
  publisher = {ACM},
  year = {2021},
  month = {8},
  pages = {14--22},
  doi = {10.1145/3471875.3472991}
}