TY  - RPRT
TI  - Baking for Dafny: A CakeML Backend for Dafny
AU  - Daniel Nezamabadi
AU  - Magnus Myreen
PY  - 2025
UR  - https://arxiv.org/abs/2501.05111
ID  - 2501.05111
ER  -