@misc{indiciae17623a217621,
  title = {Direct Foundations for Compositional Programming},
  author = {Andong Fan and Xuejing Huang and Han Xu and Yaozhu Sun and Bruno C. d. S. Oliveira},
  year = {2022},
  doi = {10.4230/lipics.ecoop.2022.18},
  url = {https://arxiv.org/abs/2205.06150},
  note = {Source identifier: 2205.06150}
}