%0 Journal Article
%T Baking for Dafny: A CakeML Backend for Dafny
%A Nezamabadi, Daniel
%A Myreen, Magnus
%J Computing Research Repository
%V 2025
%N 2501
%D 2025-01-09
%~ DeepDyve