@misc{indiciae3942bb80ff80,
  title = {Efficient Type Checking for Path Polymorphism},
  author = {Juan Edi and Andrés Viso and Eduardo Bonelli},
  year = {2017},
  doi = {10.4230/lipics.types.2015.6},
  url = {https://arxiv.org/abs/1704.09026},
  note = {Source identifier: 1704.09026}
}