TY  - RPRT
TI  - Adapting the MVVM pattern to C++ frontends and Agda-based backends
AU  - Viktor Csimma
PY  - 2026
DO  - 10.46298/jfp.17822
UR  - https://arxiv.org/abs/2603.24199
ID  - 2603.24199
ER  -