181. On the correctness of monadic backward induction. (29th October 2021) Authors: BREDE, NURIA; BOTTA, NICOLA 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) ↗
182. On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control. (2019) Authors: FORSTER, YANNICK; KAMMAR, OHAD; LINDLEY, SAM; PRETNAR, MATIJA 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) ↗
183. Oracle-guided scheduling for controlling granularity in implicitly parallel languages*. (10th November 2016) Authors: ACAR, UMUT A.; CHARGUÉRAUD, ARTHUR; RAINEY, MIKE 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) ↗
184. PAEAN: Portable and scalable runtime support for parallel Haskell dialects. (13th July 2016) Authors: BERTHOLD, JOST; LOIDL, HANS-WOLFGANG; HAMMOND, KEVIN 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) ↗
185. Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi. (11th November 2021) Authors: SIEK, JEREMY G.; CHEN, TIANYU 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) ↗
186. Parberry's pairwise sorting network revealed. (13th November 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) ↗
187. Perturbation confusion in forward automatic differentiation of higher-order functions. (2019) Authors: MANZYUK, OLEKSANDR; PEARLMUTTER, BARAK A.; RADUL, ALEXEY ANDREYEVICH; RUSH, DAVID R.; SISKIND, JEFFREY MARK 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) ↗
188. PhD abstracts. (10th December 2015) Authors: 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) ↗
189. PhD Abstracts. (13th January 2022) Authors: HUTTON, GRAHAM 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) ↗
190. PhD Abstracts. (13th July 2018) Authors: HUTTON, GRAHAM 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) ↗