1. ARM Ltd. 2017. ARM Architecture Reference Manual (ARMv8 for ARMv8-A architecture profile) (DDI0487). ARM Ltd. https://developer.arm.com/docs/ddi0487/a/arm-architecture- reference- manual- armv8-for-armv8-a-architecture-profile ARM Ltd. 2017. ARM Architecture Reference Manual (ARMv8 for ARMv8-A architecture profile) (DDI0487). ARM Ltd. https://developer.arm.com/docs/ddi0487/a/arm-architecture- reference- manual- armv8-for-armv8-a-architecture-profile
2. Calculating correct compilers
3. Patrick Bahr and Graham Hutton. 2020. Calculating Correct Compilers II: Return of the Register Machines. Journal of Functional Programming (2020). To appear. Patrick Bahr and Graham Hutton. 2020. Calculating Correct Compilers II: Return of the Register Machines. Journal of Functional Programming (2020). To appear.