Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish. The verified CakeML compiler backend. Journal of Functional Programming, 29, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.