11. A run-time representation of scheme record types. Issue 6 (1st September 2014) Authors: KEEP, ANDREW W.; DYBVIG, R. KENT Journal: Journal of functional programming Issue: Volume 24:Issue 6(2014) Page Start: 675 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. A run-time representation of scheme record types. Issue 6 (November 2014) Authors: KEEP, ANDREW W.; DYBVIG, R. KENT Journal: Journal of functional programming Issue: Volume 24:Issue 6(2014) Page Start: 675 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. A simple library implementation of binary sessions*. (21st December 2016) Authors: PADOVANI, LUCA 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) ↗
14. A SQL to C compiler in 500 lines of code. (2019) Authors: ROMPF, TIARK; AMIN, NADA 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) ↗
15. A SQL to C compiler in 500 lines of code. (3rd June 2019) Authors: ROMPF, TIARK; AMIN, NADA 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) ↗
16. A theory of RPC calculi for client–server model. (2019) Authors: CHOI, KWANGHOON; CHANG, BYEONG-MO 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) ↗
17. A theory of RPC calculi for client–server model. (22nd March 2019) Authors: CHOI, KWANGHOON; CHANG, BYEONG-MO 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) ↗
18. A trustful monad for axiomatic reasoning with probability and nondeterminism. (15th July 2021) Authors: AFFELDT, REYNALD; GARRIGUE, JACQUES; NOWAK, DAVID; SAIKAWA, TAKAFUMI 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) ↗
19. A tutorial on computational classical logic and the sequent calculus. (1st February 2018) Authors: DOWNEN, PAUL; ARIOLA, ZENA M. 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) ↗
20. A well-known representation of monoids and its application to the function 'vector reverse'. (8th August 2022) Authors: SWIERSTRA, WOUTER 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) ↗