@misc{indiciaef1ef456e8860,
  title = {Technical Dimensions of Programming Systems},
  author = {Joel Jakubovic and Jonathan Edwards and Tomas Petricek},
  year = {2023},
  doi = {10.22152/programming-journal.org/2023/7/13},
  url = {https://arxiv.org/abs/2302.10003},
  note = {Source identifier: 2302.10003}
}