@misc{indiciae3410609a8dce, title = {Cost Analysis for Import and Export Using an Abstract Machine}, author = {Benjamin Bennetzen and Daniel Vang Kleist and Emilie Sonne Steinmann and Loke Walsted and Nikolaj Rossander Kristensen and Peter Buus Steffensen}, year = {2024}, url = {https://arxiv.org/abs/2410.18158}, note = {Source identifier: 2410.18158} }