1. Calculating correct compilers II: Return of the register machines. (20th August 2020) Authors: BAHR, PATRICK; HUTTON, GRAHAM Journal: Journal of functional programming Issue: Volume 30(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Calculating correct compilers. (2015) Authors: BAHR, PATRICK; HUTTON, GRAHAM Journal: Journal of functional programming Issue: Volume 25(2015) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Compiling a 50-year journey*. (20th September 2017) Authors: HUTTON, GRAHAM; BAHR, PATRICK Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Convergence in infinitary term graph rewriting systems is simple. (9th August 2018) Authors: BAHR, PATRICK Journal: Mathematical structures in computer science Issue: Volume 28:Number 8(2018) Page Start: 1363 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Modal FRP for all: Functional reactive programming without space leaks in Haskell. (26th December 2022) Authors: BAHR, PATRICK Journal: Journal of functional programming Issue: Volume 32(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗