×

找到15个文档（结果1-15）

最新的 引文 关联
Jerzy Karczmarczuk

计算机程序的功能差异。 （英语） Zbl 1369.68105号

Berman，A.Michael（编辑），第二届ACM SIGPLAN函数式编程国际会议论文集，1997年6月9日至11日，荷兰阿姆斯特丹ICFP’97。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-918-1）。ACM SIGPLAN通知32，第8号，195-203（1997）。
MSC公司：68甲18 65D25个
PDF格式BibTeX公司 XML格式引用
\textit{J.Karczmarczuk}，in：第二届ACM SIGPLAN函数式编程国际会议论文集，ICFP’97，荷兰阿姆斯特丹，1997年6月9-11日。纽约州纽约市：计算机协会（ACM）。195-203（1997年；Zbl 1369.68105）
全文： 内政部
柯林·泰勒。

核心欺诈理论。 （英语） Zbl 1370.68049号

Berman，A.Michael（编辑），第二届ACM SIGPLAN功能编程国际会议论文集，ICFP’97，荷兰阿姆斯特丹，1997年6月9日至11日。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-918-1）。ACM SIGPLAN通知32，第8号，75-85（1997）。
MSC公司：68甲18 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{C.J.Taylor}，in：第二届ACM SIGPLAN函数式编程国际会议论文集，1997年6月9日至11日，荷兰阿姆斯特丹。纽约州纽约市：计算机协会（ACM）。75-85（1997年；Zbl 1370.68049）
全文： 内政部
科纳尔·埃利奥特；保罗·胡达克

功能反应动画。 （英语） Zbl 1369.68094号

Berman，A.Michael（编辑），第二届ACM SIGPLAN功能编程国际会议论文集，ICFP’97，荷兰阿姆斯特丹，1997年6月9日至11日。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-918-1）。ACM SIGPLAN通知32，第8号，263-273（1997）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{C.Elliott}和\textit{P.Hudak}，in：第二届ACM SIGPLAN函数编程国际会议论文集，ICFP'97，荷兰阿姆斯特丹，1997年6月9-11日。纽约州纽约市：计算机协会（ACM）。263——273（1997年；Zbl 1369.68094）
全文： 内政部
诺埃尔·温斯坦利；约翰·奥唐纳

使用Haskell+PVM进行并行分布式编程。 （英语） Zbl 0996.68834号

Lengauer，Christian（编辑）等人，《1997年欧洲-巴黎并行处理》。1997年8月26日至29日在德国帕绍举行的第三届国际欧巴会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1300, 670-677 (1997).
MSC公司：68单位99 68甲19 68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{N.Winstanley}和\textit{J.O'Donnell}，莱克特。注释计算。科学。1300、670--677（1997；Zbl 0996.68834）
米哈尔·巴琼斯基；佐兰·布迪马克

Haskell中Purely功能操作系统的原型。 （英语） Zbl 0943.68028号

Herceg，D.（编辑）等人，PRIM’96。第十一届应用数学会议记录，1996年6月3日至6日，南斯拉夫布德瓦。诺维萨德：法学院诺维萨德大学。科学研究所、数学研究所。1-8 (1997).
审核人：乔维沙·尤尼奇
MSC公司：第68页第25页 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Badjonski}和\textit{Z.Budimac}，in：PRIM'96。第十一届应用数学会议记录，1996年6月3日至6日，南斯拉夫布德瓦。诺维萨德大学。科学研究所、数学研究所。。1-8（1997年；兹bl 0943.68028）
拍马屁，马修；马提亚斯·费莱森

将单元编程为高阶模块。 （英语） Zbl 0925.68082号

Andrew Gordon（编辑）等人，HOOTS II。语义高阶操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8日至12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。10，第19号电子文件（1997年）。
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.Flatt}和\textit{M.Felleisen}，in：霍OTS II。语义学高级操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8-12日。阿姆斯特丹：爱思唯尔。第19号电子文件（1997；Zbl 0925.68082）
全文： 链接
泽纳·阿里奥拉；阿穆尔·萨布里

一元状态的正确性：一个命令式的按需调用演算。 （英语） Zbl 0925.68292号

Andrew Gordon（编辑）等人，HOOTS II。语义高阶操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8日至12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。10，第8号电子文件（1997年）。
MSC公司：第68季度55 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Ariola}和\textit{A.Sabry}，in：HOOTS II。语义学高级操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8-12日。阿姆斯特丹：爱思唯尔。第8号电子文件（1997；Zbl 0925.68292）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前3名

主字段

全部的 前3名

软件