@misc{indiciae90a0b2d65f70,
  title = {A simple and efficient implementation of strong call by need by an abstract machine},
  author = {Małgorzata Biernacka and Witold Charatonik and Tomasz Drab},
  year = {2026},
  doi = {10.46298/jfp.17808},
  url = {https://arxiv.org/abs/2603.21949},
  note = {Source identifier: 2603.21949}
}