Cakes That Bake Cakes: Dynamic Computation in CakeML

Open Webpage

Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens

Published: 01 Jan 2023, Last Modified: 03 Apr 2025Proc. ACM Program. Lang. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0