241. Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial. Issue 6 (5th February 2015) Authors: Sperber, Michael; Augustsson, Lennart Journal: Journal of functional programming Issue: Volume 24:Issue 6(2014) Page Start: 612 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
242. StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities. (15th April 2021) Authors: SKORSTENGAARD, LAU; DEVRIESE, DOMINIQUE; BIRKEDAL, LARS 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) ↗
243. Super-naturals. (31st January 2022) Authors: HINZE, RALF; RUNCIMAN, COLIN 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) ↗
244. Systematic identification and communication of type errors*. (25th January 2018) Authors: CHEN, SHENG; ERWIG, MARTIN 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) ↗
245. Taming the Merge Operator. (2nd November 2021) Authors: HUANG, XUEJING; ZHAO, JINXU; OLIVEIRA, BRUNO C. D. S. 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) ↗
246. Teaching types with a cognitively effective worked example format. (17th December 2015) Authors: TIRRONEN, VILLE; 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) ↗
247. Testing noninterference, quickly. (2016) Authors: HRIŢCU, CĂTĂLIN; LAMPROPOULOS, LEONIDAS; SPECTOR-ZABUSKY, ANTAL; AZEVEDO DE AMORIM, ARTHUR; DÉNÈS, MAXIME; HUGHES, JOHN; PIERCE, BENJAMIN C.; VYTINIOTIS, DIMITRIOS 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) ↗
248. The adequacy of Launchbury's natural semantics for lazy evaluation*. (3rd January 2018) Authors: BREITNER, JOACHIM 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) ↗
249. The calculus of dependent lambda eliminations*. (2017) Authors: STUMP, AARON 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) ↗
250. The calculus of dependent lambda eliminations*. (9th May 2017) Authors: STUMP, AARON 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) ↗