51. 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) ↗
52. 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) ↗
53. Call-by-name extensionality and confluence. (27th February 2017) Authors: JOHNSON-FREYD, PHILIP; DOWNEN, PAUL; ARIOLA, ZENA M. 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) ↗
54. Capability-based localization of distributed and heterogeneous queries. (12th December 2017) Authors: SECO, JOÃO COSTA; FERREIRA, PAULO; LOURENÇO, HUGO 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) ↗
55. Classical (co)recursion: Mechanics. (4th April 2023) Authors: DOWNEN, PAUL; ARIOLA, ZENA M. Journal: Journal of functional programming Issue: Volume 33(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. Cogent: uniqueness types and certifying compilation. (27th October 2021) Authors: O'CONNOR, LIAM; CHEN, ZILIN; RIZKALLAH, CHRISTINE; JACKSON, VINCENT; AMANI, SIDNEY; KLEIN, GERWIN; MURRAY, TOBY; SEWELL, THOMAS; KELLER, GABRIELE Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. Commercial users of functional programming workshop report. Issue 6 (8th January 2014) Authors: SPERBER, MICHAEL; MADHAVAPEDDY, ANIL Journal: Journal of functional programming Issue: Volume 23:Issue 6(2013) Page Start: 701 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
58. 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) ↗
59. Composable data visualizations. (17th June 2021) Authors: PETRICEK, TOMAS Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. Composable scheduler activations for Haskell. (27th June 2016) Authors: SIVARAMAKRISHNAN, K. C.; HARRIS, TIM; MARLOW, SIMON; PEYTON JONES, SIMON Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗