Adams, Robin Pure type systems with judgemental equality. (English) Zbl 1088.68030 J. Funct. Program. 16, No. 2, 219-246 (2006). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{R. Adams}, J. Funct. Program. 16, No. 2, 219--246 (2006; Zbl 1088.68030) Full Text: DOI
Hinze, Ralf; Paterson, Ross Finger trees: a simple general-purpose data structure. (English) Zbl 1088.68041 J. Funct. Program. 16, No. 2, 197-217 (2006). MSC: 68P05 PDFBibTeX XMLCite \textit{R. Hinze} and \textit{R. Paterson}, J. Funct. Program. 16, No. 2, 197--217 (2006; Zbl 1088.68041) Full Text: DOI
Grundy, Jim; Melham, Tom; O’Leary, John A reflective functional language for hardware design and theorem proving. (English) Zbl 1086.68526 J. Funct. Program. 16, No. 2, 157-196 (2006). MSC: 68N18 68T15 68M99 PDFBibTeX XMLCite \textit{J. Grundy} et al., J. Funct. Program. 16, No. 2, 157--196 (2006; Zbl 1086.68526) Full Text: DOI
Barthe, Gilles; Coquand, Thierry Remarks on the equational theory of non-normalizing pure type systems. (English) Zbl 1088.68033 J. Funct. Program. 16, No. 2, 137-155 (2006). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{G. Barthe} and \textit{T. Coquand}, J. Funct. Program. 16, No. 2, 137--155 (2006; Zbl 1088.68033) Full Text: DOI
Curtis, S. A. Functional pearl: Marble mingling. (English) Zbl 1088.68532 J. Funct. Program. 16, No. 2, 129-136 (2006). MSC: 68N18 PDFBibTeX XMLCite \textit{S. A. Curtis}, J. Funct. Program. 16, No. 2, 129--136 (2006; Zbl 1088.68532) Full Text: DOI