Kennedy, Andrew J.; Vytiniotis, Dimitrios Every bit counts: the binary representation of typed data and programs. (English) Zbl 1252.68086 J. Funct. Program. 22, No. 4-5, 529-573 (2012). MSC: 68P05 68N20 PDFBibTeX XMLCite \textit{A. J. Kennedy} and \textit{D. Vytiniotis}, J. Funct. Program. 22, No. 4--5, 529--573 (2012; Zbl 1252.68086) Full Text: DOI
Kennedy, Andrew J. Pickler combinators. (English) Zbl 1063.68035 J. Funct. Program. 14, No. 6, 727-739 (2004). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{A. J. Kennedy}, J. Funct. Program. 14, No. 6, 727--739 (2004; Zbl 1063.68035) Full Text: DOI
Benton, Nick; Kennedy, Andrew Exceptional syntax. (English) Zbl 0994.68030 J. Funct. Program. 11, No. 4, 395-410 (2001). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{N. Benton} and \textit{A. Kennedy}, J. Funct. Program. 11, No. 4, 395--410 (2001; Zbl 0994.68030) Full Text: DOI
Kennedy, Andrew J. Functional pearls. Drawing trees. (English) Zbl 0860.68025 J. Funct. Program. 6, No. 3, 527-534 (1996). MSC: 68N15 PDFBibTeX XMLCite \textit{A. J. Kennedy}, J. Funct. Program. 6, No. 3, 527--534 (1996; Zbl 0860.68025) Full Text: DOI