The following publications are possibly variants of this publication:
- Verified Characteristic Formulae for CakeMLArmaël Guéneau, Magnus O. Myreen, Ramana Kumar, Michael Norrish. ESOP 2017: 584-610 [doi]
- CakeML: a verified implementation of MLRamana Kumar, Magnus O. Myreen, Michael Norrish, Scott Owens. POPL 2014: 179-192 [doi]
- The verified CakeML compiler backendYong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish. JFP, 29, 2019. [doi]
- A verified type system for CakeMLYong Kiam Tan, Scott Owens, Ramana Kumar. IFL 2015: [doi]
- A Verified Generational Garbage Collector for CakeMLAdam Sandberg Ericsson, Magnus O. Myreen, Johannes Åman Pohjola. JAR, 63(2):463-488, 2019. [doi]
- A Verified Generational Garbage Collector for CakeMLAdam Sandberg Ericsson, Magnus O. Myreen, Johannes Åman Pohjola. itp 2017: 444-461 [doi]
- A new verified compiler backend for CakeMLYong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish. ICFP 2016: 60-73 [doi]
- Verified Propagation Redundancy and Compositional UNSAT Checking in CakeMLYong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen. STTT, 25(2):167-184, April 2023. [doi]
- cake_lpr: Verified Propagation Redundancy Checking in CakeMLYong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen. TACAS 2021: 223-241 [doi]
- Verified compilation of CakeML to multiple machine-code targetsAnthony C. J. Fox, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar. CPP 2017: 125-137 [doi]