Abel, Andreas; Allais, Guillaume; Hameer, Aliya; Pientka, Brigitte; Momigliano, Alberto; Schäfer, Steven; Stark, Kathrin POPLMark reloaded: mechanizing proofs by logical relations. (English) Zbl 1442.68257 J. Funct. Program. 29, Paper No. e19, 43 p. (2019). MSC: 68V15 68N15 PDFBibTeX XMLCite \textit{A. Abel} et al., J. Funct. Program. 29, Paper No. e19, 43 p. (2019; Zbl 1442.68257) Full Text: DOI
Hamana, Makoto How to prove decidability of equational theories with second-order computation analyser SOL. (English) Zbl 1442.68027 J. Funct. Program. 29, Paper No. e20, 53 p. (2019). MSC: 68N18 03B25 03B40 03B70 18M05 68N15 68N30 68V15 PDFBibTeX XMLCite \textit{M. Hamana}, J. Funct. Program. 29, Paper No. e20, 53 p. (2019; Zbl 1442.68027) Full Text: DOI
Dannenberg, Roger B. Book review of: P. Hudak and D. Quick, The Haskell school of music. From signals to symphonies. (English) Zbl 1439.00015 J. Funct. Program. 29, Article ID e18, 2 p. (2019). MSC: 00A17 68-02 00A65 68N18 PDFBibTeX XMLCite \textit{R. B. Dannenberg}, J. Funct. Program. 29, Paper No. e18, 2 p. (2019; Zbl 1439.00015) Full Text: DOI
Schrijvers, Tom; Oliveira, Bruno C. d. S.; Wadler, Philip; Marntirosian, Koar COCHIS: stable and coherent implicits. (English) Zbl 1493.68094 J. Funct. Program. 29, Paper No. e3, 82 p. (2019). MSC: 68N18 03B70 PDFBibTeX XMLCite \textit{T. Schrijvers} et al., J. Funct. Program. 29, Paper No. e3, 82 p. (2019; Zbl 1493.68094) Full Text: DOI
Kiam Tan, Yong; Myreen, Magnus O.; Kumar, Ramana; Fox, Anthony; Owens, Scott; Norrish, Michael The verified CakeML compiler backend. (English) Zbl 1493.68091 J. Funct. Program. 29, Paper No. e2, 57 p. (2019). MSC: 68N18 68N20 68V15 PDFBibTeX XMLCite \textit{Y. Kiam Tan} et al., J. Funct. Program. 29, Paper No. e2, 57 p. (2019; Zbl 1493.68091) Full Text: DOI
Greenman, Ben; Takikawa, Asumu; New, Max S.; Feltey, Daniel; Findler, Robert Bruce; Vitek, Jan; Felleisen, Matthias How to evaluate the performance of gradual type systems. (English) Zbl 1493.68087 J. Funct. Program. 29, Paper No. e4, 45 p. (2019). MSC: 68N18 PDFBibTeX XMLCite \textit{B. Greenman} et al., J. Funct. Program. 29, Paper No. e4, 45 p. (2019; Zbl 1493.68087) Full Text: DOI
Darais, David; Van Horn, David Constructive Galois connections. (English) Zbl 1493.68104 J. Funct. Program. 29, Paper No. e11, 60 p. (2019). MSC: 68N30 06A15 68N18 68Q55 68V15 PDFBibTeX XMLCite \textit{D. Darais} and \textit{D. Van Horn}, J. Funct. Program. 29, Paper No. e11, 60 p. (2019; Zbl 1493.68104) Full Text: DOI arXiv
Danvy, Olivier Folding left and right over Peano numbers. (English) Zbl 1493.68084 J. Funct. Program. 29, Paper No. e6, 12 p. (2019). MSC: 68N18 PDFBibTeX XMLCite \textit{O. Danvy}, J. Funct. Program. 29, Paper No. e6, 12 p. (2019; Zbl 1493.68084) Full Text: DOI
Bird, Richard S. How to find a fake coin. (English) Zbl 1493.68258 J. Funct. Program. 29, Paper No. e8, 9 p. (2019). MSC: 68R05 68N18 PDFBibTeX XMLCite \textit{R. S. Bird}, J. Funct. Program. 29, Paper No. e8, 9 p. (2019; Zbl 1493.68258) Full Text: DOI
Choi, Kwanghoon; Chang, Byeong-Mo A theory of RPC calculi for client-server model. (English) Zbl 1493.68083 J. Funct. Program. 29, Paper No. e5, 39 p. (2019). MSC: 68N18 PDFBibTeX XMLCite \textit{K. Choi} and \textit{B.-M. Chang}, J. Funct. Program. 29, Paper No. e5, 39 p. (2019; Zbl 1493.68083) Full Text: DOI arXiv
García-Pérez, Álvaro; Nogueira, Pablo The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus. (English) Zbl 1493.68085 J. Funct. Program. 29, Paper No. e7, 38 p. (2019). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{Á. García-Pérez} and \textit{P. Nogueira}, J. Funct. Program. 29, Paper No. e7, 38 p. (2019; Zbl 1493.68085) Full Text: DOI