261. Transporting functions across ornaments. Issue 2 (23rd April 2014) Authors: DAGAND, PIERRE-ÉVARISTE; McBRIDE, CONOR Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 316 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
262. Transporting functions across ornaments. Issue 2 (May 2014) Authors: DAGAND, PIERRE-ÉVARISTE; McBRIDE, CONOR Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 316 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
263. Type-based amortized resource analysis with integers and arrays*. (2015) Authors: HOFFMANN, JAN; SHAO, ZHONG 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) ↗
264. Type-based amortized resource analysis with integers and arrays*. (29th October 2015) Authors: HOFFMANN, JAN; SHAO, ZHONG 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) ↗
265. Typed dataspace actors. (24th August 2020) Authors: CALDWELL, SAM; GARNOCK-JONES, TONY; FELLEISEN, MATTHIAS 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) ↗
266. Understanding beginners' mistakes with Haskell. (2015) Authors: TIRRONEN, VILLE; UUSI-MÄKELÄ, SAMUEL; ISOMÖTTÖNEN, VILLE 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) ↗
267. Unifying structured recursion schemes: An Extended Study. (3rd February 2016) Authors: HINZE, RALF; WU, NICOLAS 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) ↗
268. Verified decision procedures for MSO on words based on derivatives of regular expressions. (2015) Authors: TRAYTEL, DMITRIY; NIPKOW, TOBIAS 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) ↗
269. Verified decision procedures for MSO on words based on derivatives of regular expressions. (5th November 2015) Authors: TRAYTEL, DMITRIY; NIPKOW, TOBIAS 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) ↗
270. Verified secure compilation for mixed-sensitivity concurrent programs. (28th July 2021) Authors: SISON, ROBERT; MURRAY, TOBY 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) ↗