@misc{indiciae02188b30e356,
  title = {Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus},
  author = {Pedro Vasconcelos and Rodrigo Marques},
  year = {2024},
  doi = {10.1145/3677999.3678274},
  url = {https://arxiv.org/abs/2407.11831},
  note = {Source identifier: 2407.11831}
}