@misc{nezamabadi2025bakingdafnycakemlbackend,
      title={Baking for Dafny: A CakeML Backend for Dafny}, 
      author={Daniel Nezamabadi and Magnus Myreen},
      year={2025},
      eprint={2501.05111},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      url={https://arxiv.org/abs/2501.05111}, 
}