Nanevski, Aleksandar; Morrisett, Greg; Birkedal, Lars Hoare type theory, polymorphism and separation. (English) Zbl 1155.68354 J. Funct. Program. 18, No. 5-6, 865-911 (2008). MSC: 68N18 PDFBibTeX XMLCite \textit{A. Nanevski} et al., J. Funct. Program. 18, No. 5--6, 865--911 (2008; Zbl 1155.68354) Full Text: DOI
Might, Matthew; Shivers, Olin Exploiting reachability and cardinality in higher-order flow analysis. (English) Zbl 1155.68353 J. Funct. Program. 18, No. 5-6, 821-864 (2008). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Might} and \textit{O. Shivers}, J. Funct. Program. 18, No. 5--6, 821--864 (2008; Zbl 1155.68353) Full Text: DOI
Katsumata, Shin-Ya; Nishimura, Susumu Algebraic fusion of functions with an accumulating parameter and its improvement. (English) Zbl 1155.68351 J. Funct. Program. 18, No. 5-6, 781-819 (2008). MSC: 68N18 PDFBibTeX XMLCite \textit{S.-Y. Katsumata} and \textit{S. Nishimura}, J. Funct. Program. 18, No. 5--6, 781--819 (2008; Zbl 1155.68351) Full Text: DOI
Fisher, David; Shivers, Olin Building language towers with Ziggurat. (English) Zbl 1155.68409 J. Funct. Program. 18, No. 5-6, 707-780 (2008). MSC: 68Q42 68N15 PDFBibTeX XMLCite \textit{D. Fisher} and \textit{O. Shivers}, J. Funct. Program. 18, No. 5--6, 707--780 (2008; Zbl 1155.68409) Full Text: DOI
Donnelly, Kevin; Fluet, Matthew Transactional events. (English) Zbl 1155.68356 J. Funct. Program. 18, No. 5-6, 649-706 (2008). MSC: 68N19 68Q55 PDFBibTeX XMLCite \textit{K. Donnelly} and \textit{M. Fluet}, J. Funct. Program. 18, No. 5--6, 649--706 (2008; Zbl 1155.68356) Full Text: DOI
Chlipala, Adam Modular development of certified program verifiers with a proof assistant. (English) Zbl 1155.68429 J. Funct. Program. 18, No. 5-6, 599-647 (2008). MSC: 68Q60 PDFBibTeX XMLCite \textit{A. Chlipala}, J. Funct. Program. 18, No. 5--6, 599--647 (2008; Zbl 1155.68429) Full Text: DOI
Bringert, Björn; Ranta, Aarne A pattern for almost compositional functions. (English) Zbl 1170.68007 J. Funct. Program. 18, No. 5-6, 567-598 (2008). MSC: 68N18 PDFBibTeX XMLCite \textit{B. Bringert} and \textit{A. Ranta}, J. Funct. Program. 18, No. 5--6, 567--598 (2008; Zbl 1170.68007) Full Text: DOI