西蒙·佩顿·琼斯;安德烈·L·M·桑托斯。 Haskell基于转换的优化程序。 (英语) Zbl 0942.68030号 科学。计算。程序。 32,第1-3、3-47号(1998年).MSC公司:第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{S.L.P.Jones}和\textit{A.L.M.Santos},科学。计算。程序。32,编号1--3,3-47(1998;Zbl 0942.68030) 全文: DOI程序
加里·米恩;乔伊,迈克 动画模糊逻辑。 (英语) Zbl 0917.03013号 J.功能。程序。 8,第5期,503-525(1998).MSC公司:03B52号 68甲15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Meehan}和\textit{M.Joy},J.Funct。程序。8号,第5号,503--525(1998年;Zbl 0917.03013) 全文: DOI程序
格雷厄姆·赫顿;埃里克·梅杰尔 Haskell中的单数分析。 (英语) 兹伯利0917.68039 J.功能。程序。 8,第4期,437-444(1998).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}和\textit{E.Meijer},J.Funct。程序。8,第4号,437--444(1998;Zbl 0917.68039) 全文: DOI程序
摩根·R·G。;贾维斯,S.A。 分析大型惰性函数程序。 (英语) Zbl 0917.68036号 J.功能。程序。 8,第3期,201-237(1998).MSC公司:68甲15 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Morgan}和\textit{S.A.Jarvis},J.Funct。程序。8,第3号,201--237(1998;Zbl 0917.68036) 全文: DOI程序
阿穆尔·萨布里 什么是纯函数式语言? (英语) Zbl 0917.68033号 J.功能。程序。 8,第1期,1-22页(1998年).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Sabry},J.Funct。程序。8,编号1,1--22(1998;Zbl 0917.68033) 全文: DOI程序
托比亚斯·尼普科 温斯克尔(几乎)是对的:走向机械化语义教科书。 (英语) Zbl 0910.68138号 正式Asp。计算。 10,第2期,171-186(1998).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow},正式Asp。计算。10,第2号,171--186(1998;Zbl 0910.68138) 全文: DOI程序
比约恩·利斯特 不可预测环境中的计算:语义、简化策略和程序转换。 (英语) 兹伯利0893.68095 西奥。计算。科学。 190,第1期,61-85(1998).MSC公司:68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Lisper},Theor。计算。科学。190,编号1,61--85(1998;Zbl 0893.68095) 全文: DOI程序