1. The verified CakeML compiler backend. (4th February 2019) Authors: KIAM TAN, YONG; MYREEN, MAGNUS O.; KUMAR, RAMANA; FOX, ANTHONY; OWENS, SCOTT; NORRISH, MICHAEL Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗