The verified CakeML compiler backend. - KIAM TAN, YONG; MYREEN, MAGNUS O.; KUMAR, RAMANA; FOX, ANTHONY; OWENS, SCOTT; NORRISH, MICHAEL (Journal of Functional Programming, 2019)