菲利普·沃德勒 理解单子。 (英语) Zbl 0798.68040号 数学。结构。计算。科学。 2,第4期,461-493(1992).MSC公司:68磅05分 68甲15 18立方厘米 18立方厘米 68问题65 08A70号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Wadler},数学。结构。计算。科学。2,第4号,461--493(1992;Zbl 0798.68040) 全文: DOI程序
约翰·汉南;戴尔·米勒 从操作语义到抽象机器。 (英语) Zbl 0798.68099号 数学。结构。计算。科学。 2,编号415-459(1992).MSC公司:68问题55 2005年第68季度 60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hannan}和\textit{D.Miller},数学。结构。计算。科学。2,编号415-459(1992年;兹bl 0798.68099) 全文: DOI程序
乔治·J·F·。;Le Métayer,D。 并行机函数语言的基于连续性的编译。 (英语) Zbl 0798.68033号 数学。结构。计算。科学。 2,第4期,393-414(1992).MSC公司:68N20型 68甲15 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Giorgi}和\textit{D.Le Métayer},数学。结构。计算。科学。2,第4号,393--414(1992;Zbl 0798.68033) 全文: DOI程序
奥利维尔·丹维;安德烈·菲林斯基 代表控制:对CPS变换的研究。 (英语) Zbl 0798.68102号 数学。结构。计算。科学。 2,第4期,361-391(1992).MSC公司:60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{A.Filinski},数学。结构。计算。科学。2,第4号,361--391(1992;Zbl 0798.68102) 全文: DOI程序
米切尔·旺德(编辑) 1990年ACM Lisp和函数编程会议。会议论文,法国尼斯,1990年6月27日至29日。 (英语) Zbl 0941.00040号 数学。结构。计算。科学。 2,第4期,361-493(1992).MSC公司:00时25分 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Wand}(编辑),数学。结构。计算。科学。2,编号4361-493(1992年;Zbl 0941.00040) 全文: DOI程序