21. Abstract allocation as a unified approach to polyvariance in control-flow analyses. (1st August 2018) Authors: GILRAY, THOMAS; ADAMS, MICHAEL D.; MIGHT, MATTHEW Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Algebraic data integration*. (2nd November 2017) Authors: SCHULTZ, PATRICK; WISNESKY, RYAN 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) ↗
23. An algebra for distributed Big Data analytics. (11th December 2017) Authors: FEGARAS, LEONIDAS 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) ↗
24. An extended account of contract monitoring strategies as patterns of communication. (7th March 2018) Authors: SWORDS, CAMERON; SABRY, AMR; TOBIN-HOCHSTADT, SAM Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. An optimal, purely functional implementation of the Garsia–Wachs algorithm. (21st January 2020) Authors: BIRD, RICHARD S. 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) ↗
26. ANF preserves dependent types up to extensional equality. (16th September 2022) Authors: KORONKEVICH, PAULETTE; RAKOW, RAMON; AHMED, AMAL; BOWMAN, WILLIAM J. 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) ↗
27. Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization. (21st June 2018) Authors: MATSUDA, KAZUTAKA; WANG, MENG Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Back to futures. (28th February 2022) Authors: PRUIKSMA, KLAAS; PFENNING, FRANK 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) ↗
29. Backtracking with cut via a distributive law and left-zero monoids*. (13th July 2017) Authors: PIRÓG, MACIEJ; STATON, SAM 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) ↗
30. Batcher's odd-even merging network revealed. (2018) Authors: HINZE, RALF; MARTIN, CLARE Journal: Journal of functional programming Issue: Volume 28(2018) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗