21. Modular, higher order cardinality analysis in theory and practice. (16th February 2017) Authors: SERGEY, ILYA; VYTINIOTIS, DIMITRIOS; JONES, SIMON L. PEYTON; BREITNER, JOACHIM 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) ↗
22. No value restriction is needed for algebraic effects and handlers*. (2017) Authors: KAMMAR, OHAD; PRETNAR, MATIJA 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) ↗
23. No value restriction is needed for algebraic effects and handlers*. (24th January 2017) Authors: KAMMAR, OHAD; PRETNAR, MATIJA 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) ↗
24. Normal-order reduction grammars*. (17th January 2017) Authors: BENDKOWSKI, MACIEJ 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) ↗
25. Notions of computation as monoids*. (5th October 2017) Authors: RIVAS, EXEQUIEL; JASKELIOFF, MAURO 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) ↗
26. PhD Abstracts. (15th June 2017) Authors: HUTTON, GRAHAM 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) ↗
27. PhD Abstracts. (27th November 2017) Authors: HUTTON, GRAHAM 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) ↗
28. Programming with ornaments. (12th December 2016) Authors: KO, HSIANG-SHANG; GIBBONS, JEREMY 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) ↗
29. Programming with ornaments. (2016) Authors: KO, HSIANG-SHANG; GIBBONS, JEREMY 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) ↗
30. Quick specifications for the busy programmer. (10th July 2017) Authors: SMALLBONE, NICHOLAS; JOHANSSON, MOA; CLAESSEN, KOEN; ALGEHED, MAXIMILIAN 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) ↗