91. Evaluation of splittable pseudo-random generators*. (2015) Authors: SCHAATHUN, HANS GEORG 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) ↗
92. Explainable dynamic programming. (18th May 2021) Authors: ERWIG, MARTIN; KUMAR, PRASHANT 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) ↗
93. Explicit effect subtyping. (8th June 2020) Authors: KARACHALIAS, GEORGIOS; PRETNAR, MATIJA; SALEH, AMR HANY; VANDERHALLEN, STIEN; SCHRIJVERS, TOM 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) ↗
94. Extensional equality preservation and verified generic programming. (21st October 2021) Authors: BOTTA, NICOLA; BREDE, NURIA; JANSSON, PATRIK; RICHTER, TIM 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) ↗
95. Extracting functional programs from Coq, in Coq. (22nd August 2022) Authors: ANNENKOV, DANIL; MILO, MIKKEL; NIELSEN, JAKOB BOTSCH; SPITTERS, BAS 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) ↗
96. F-ing modules. Issue 5 (September 2014) Authors: ROSSBERG, ANDREAS; RUSSO, CLAUDIO; DREYER, DEREK Journal: Journal of functional programming Issue: Volume 24:Issue 5(2014) Page Start: 529 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
97. Fair enumeration combinators. (30th August 2017) Authors: NEW, MAX S.; FETSCHER, BURKE; FINDLER, ROBERT BRUCE; MCCARTHY, JAY 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) ↗
98. Faster coroutine pipelines: A reconstruction. (3rd August 2020) Authors: PIETERS, RUBEN P; SCHRIJVERS, TOM 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) ↗
99. Faster coroutine pipelines: A reconstruction. (3rd August 2020) Authors: PIETERS, RUBEN P.; SCHRIJVERS, TOM 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) ↗
100. Fault-tolerant functional reactive programming (extended version). (7th May 2020) Authors: PEREZ, IVAN; GOODLOE, ALWYN E. 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) ↗