1. Proof-producing translation of higher-order logic into pure and stateful ML. Issue 2 (20th January 2014) Authors: MYREEN, MAGNUS O.; OWENS, SCOTT Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 284 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Proof-producing translation of higher-order logic into pure and stateful ML. Issue 2 (May 2014) Authors: MYREEN, MAGNUS O.; OWENS, SCOTT Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 284 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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) ↗