@misc{indiciae3ac860bd12f2,
  title = {Type checking data structures more complex than trees},
  author = {Jin Sano and Naoki Yamamoto and Kazunori Ueda},
  year = {2022},
  url = {https://arxiv.org/abs/2209.05149},
  note = {Source identifier: 2209.05149}
}