Convent, Lukas; Lindley, Sam; McBride, Conor; McLaughlin, Craig Doo bee doo bee doo. (English) Zbl 1442.68026 J. Funct. Program. 30, Paper No. e9, 53 p. (2020). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{L. Convent} et al., J. Funct. Program. 30, Paper No. e9, 53 p. (2020; Zbl 1442.68026) Full Text: DOI
Hillerström, Daniel; Lindley, Sam; Atkey, Robert Effect handlers via generalised continuations. (English) Zbl 1442.68028 J. Funct. Program. 30, Paper No. e5, 69 p. (2020). MSC: 68N18 PDFBibTeX XMLCite \textit{D. Hillerström} et al., J. Funct. Program. 30, Paper No. e5, 69 p. (2020; Zbl 1442.68028) Full Text: DOI
Lindley, Sam; Wadler, Philip; Yallop, Jeremy The arrow calculus. (English) Zbl 1185.68199 J. Funct. Program. 20, No. 1, 51-69 (2010). MSC: 68N18 PDFBibTeX XMLCite \textit{S. Lindley} et al., J. Funct. Program. 20, No. 1, 51--69 (2010; Zbl 1185.68199) Full Text: DOI