Jay, Barry Intensional computation with higher-order functions. (English) Zbl 1417.68041 Theor. Comput. Sci. 768, 76-90 (2019). MSC: 68Q01 03B40 68Q42 PDFBibTeX XMLCite \textit{B. Jay}, Theor. Comput. Sci. 768, 76--90 (2019; Zbl 1417.68041) Full Text: DOI
Jay, Barry Self-quotation in a typed, intensional lambda-calculus. (English) Zbl 1525.68017 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 207-222 (2018). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{B. Jay}, Electron. Notes Theor. Comput. Sci. 336, 207--222 (2018; Zbl 1525.68017) Full Text: DOI
Jay, Barry Programs as data structures in \(\lambda\)SF-calculus. (English) Zbl 1394.68064 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 221-236 (2016). MSC: 68N18 PDFBibTeX XMLCite \textit{B. Jay}, Electron. Notes Theor. Comput. Sci. 325, 221--236 (2016; Zbl 1394.68064) Full Text: DOI
Jay, Barry; Kesner, Delia First-class patterns. (English) Zbl 1163.68315 J. Funct. Program. 19, No. 2, 191-225 (2009). MSC: 68N18 68T10 PDFBibTeX XMLCite \textit{B. Jay} and \textit{D. Kesner}, J. Funct. Program. 19, No. 2, 191--225 (2009; Zbl 1163.68315) Full Text: DOI
Jay, C. Barry; Ghani, Neil The virtues of eta-expansion. (English) Zbl 0833.68072 J. Funct. Program. 5, No. 2, 135-154 (1995). MSC: 68Q42 68W30 PDFBibTeX XMLCite \textit{C. B. Jay} and \textit{N. Ghani}, J. Funct. Program. 5, No. 2, 135--154 (1995; Zbl 0833.68072) Full Text: DOI