@misc{indiciae3f1340fcd629,
  title = {Constrained Type Families},
  author = {J. Garrett Morris and Richard Eisenberg},
  year = {2017},
  doi = {10.1145/3110286},
  url = {https://arxiv.org/abs/1706.09715},
  note = {Source identifier: 1706.09715}
}