@misc{indiciae079c6a481e08,
  title = {Efficient Extensional Binary Tries},
  author = {Andrew W Appel and Xavier Leroy},
  year = {2023},
  doi = {10.1007/s10817-022-09655-x},
  url = {https://arxiv.org/abs/2110.05063},
  note = {Source identifier: 2110.05063}
}