@misc{indiciaef323168f1d39,
  title = {Defunctionalization with Dependent Types},
  author = {Yulong Huang and Jeremy Yallop},
  year = {2023},
  url = {https://arxiv.org/abs/2304.04574},
  note = {Source identifier: 2304.04574}
}