@misc{indiciae567d699c4979,
  title = {Adapting the MVVM pattern to C++ frontends and Agda-based backends},
  author = {Viktor Csimma},
  year = {2026},
  doi = {10.46298/jfp.17822},
  url = {https://arxiv.org/abs/2603.24199},
  note = {Source identifier: 2603.24199}
}