西尔维娅·克莱里奇;克里斯蒂娜·佐尔坦;吉列尔莫·普雷斯蒂吉亚科莫 图形和增量类型推断。图变换方法。 (英语) Zbl 1360.68320号 高-订购符号。计算。 26,编号1-4,29-62(2013).MSC公司:68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Clerici}等人,高-订购符号。计算。26,编号1--4,29-62(2013;Zbl 1360.68320) 全文: 内政部 链接
托马斯·霍斯特迈尔;丽塔·勒根 伊甸园中基于图形的通信。 (英语) Zbl 1360.68330号 高-订购符号。计算。 26,编号1-4,3-28(2013).MSC公司:68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.Horstmeyer}和\textit{R.Loogen},高-订购符号。计算。26,编号1--4,3--28(2013;Zbl 1360.68330) 全文: 内政部
德根,马库斯;彼得·蒂曼;斯特凡·韦尔 契约与懒惰的相互作用。 (英语) Zbl 1360.68325号 高-订购符号。计算。 25,第1期,85-125(2012).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Degen}等人,高-订购符号。计算。25,第1号,85-125(2012;Zbl 1360.68325) 全文: 内政部
松田和川;稻田,Kazuhiro;中野圭介 多次数据遍历累加函数的多项式时间反演计算。 (英语) Zbl 1360.68366号 高-订购符号。计算。 25,第1期,第3-38页(2012年).MSC公司:68号30 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Matsuda}等人,高-订购符号。计算。25,第1号,第3--38号(2012;Zbl 1360.68366) 全文: 内政部
岩崎、秀霞;森本武史;高野雅雄 在惰性函数程序中使用改进序列进行修剪。 (英语) Zbl 1256.68033号 高-订购符号。计算。 24,第4期,281-309(2011).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Iwasaki}等人,高-订购符号。计算。24,第4号,281--309(2011;Zbl 1256.68033) 全文: 内政部
布莱恩·查德威克;卡尔·利伯赫 使用自适应遍历进行泛型编程的函数方法。 (英语) Zbl 1256.68030号 高-订购符号。计算。 23,第4期,433-463(2010).MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{B.Chadwick}和\textit{K.Lieberherr},高-订购符号。计算。23,第4号,433--463(2010;Zbl 1256.68030) 全文: 内政部
沃特·斯威斯特拉 分布式阵列的更多依赖类型。 (英语) 兹比尔1256.68025 高-订购符号。计算。 第4号第23页,第489-506页(2010年).MSC公司:68甲15 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{W.Swierstra},高-订购符号。计算。23,第4号,489--506(2010;Zbl 1256.68025) 全文: 内政部
彼得·阿奇顿;马克·范·埃克伦;彼得·科普曼;马可·T·莫拉赞。 1999/2000年与2007/2008年职能方案拟订趋势的趋势。 (英语) Zbl 1256.68028号 高-订购符号。计算。 23,第4期,465-487(2010).MSC公司:68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Achten}等人,高-订购符号。计算。23,第4号,465--487(2010;Zbl 1256.68028) 全文: 内政部
弗里茨·亨利恩;肯·弗里斯·拉森 具有基于判别的连接和符号笛卡尔积的通用多集编程。 (英语) Zbl 1232.68028号 高-订购符号。计算。 23,第3期,337-370(2010).MSC公司:68甲19 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein}和\textit{K.F.Larsen},高-订购符号。计算。23,第3号,337--370(2010;Zbl 1232.68028) 全文: 内政部
斯特凡·霍尔德曼;尤里安·黑格 使“严格性”更具相关性。 (英语) Zbl 1232.68026号 高-订购符号。计算。 23,第3期,315-335(2010).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Holdermans}和\textit{J.Hage},高中-订购符号。计算。23,编号3,315-335(2010年;兹bl 1232.68026) 全文: 内政部
阿里·米德尔科普;阿泽·迪杰斯特拉;斯威斯特拉,S.多伊茨 小工具的精益规范:具有一流等式证明的系统F。 (英语) Zbl 1232.68029号 高-订购符号。计算。 23,第2期,145-166(2010).MSC公司:68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Middelkoop}等人,高-订购符号。计算。23,第2号,145--166(2010;Zbl 1232.68029) 全文: 内政部
尼尔·斯卡索普;亨利克·尼尔森 面对变化保持冷静。通过推理变化来优化FRP。 (英语) Zbl 1232.68027号 高-订购符号。计算。 23,第2期,227-271(2010).MSC公司:68甲18 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{N.Sculthorpe}和\textit{H.Nilsson},高-订购符号。计算。23,第2227-271号(2010年;兹bl 1232.68027) 全文: 内政部
帕特里夏·约翰;尼尔·加尼 Haskell中使用嵌套类型编程的原则方法。 (英语) Zbl 1183.68141号 高-订购符号。计算。 22,第2期,155-189(2009).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}和\textit{N.Ghani},高中-订购符号。计算。22,第2号,155--189(2010;Zbl 1183.68141) 全文: 内政部
马修·奈勒;科林·伦西曼 功能电路描述的可表达共享。 (英语) Zbl 1183.68163号 高-订购符号。计算。 22,第1号,67-80(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Naylor}和\textit{C.Runciman},高-订购符号。计算。22,第1号,67--80(2009;Zbl 1183.68163) 全文: 内政部
汤姆·赫肖维茨;泽维尔·勒罗伊;威尔斯,J.B。 在按调用值函数语言中编译扩展递归。 (英语) 兹比尔1183.68140 高-订购符号。计算。 22,第1期,3-66页(2009年).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hirschowitz}等人,高-订购符号。计算。22,第1、3--66号(2009年;Zbl 1183.68140) 全文: 内政部 arXiv公司
克劳迪奥·奥乔亚;席尔瓦,约瑟夫;德国维达尔 基于redex跟踪的惰性函数程序的动态切片。 (英语) Zbl 1192.68139号 高-订购符号。计算。 21,编号1-2,147-192(2008).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Ochoa}等人,高-订购符号。计算。21,第1-1147-192号(2008年;兹bl 1192.68139) 全文: 内政部 链接
胡镇江;穆申成;Masato武一 基于双向转换开发结构化文档的可编程编辑器。 (英语) Zbl 1194.68096号 高-订购符号。计算。 21,编号1-2,89-118(2008).MSC公司:68甲18 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hu}等人,高-订购符号。计算。21,编号1--2,89-118(2008;Zbl 1194.68096) 全文: 内政部
弗朗西斯科·杜兰;萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔;泽维尔·乌尔拜恩 证明会员资格等同计划的操作终止。 (英语) Zbl 1192.68154号 高-订购符号。计算。 21,编号1-2,59-88(2008).MSC公司:68N99型 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,高-订购符号。计算。21,编号1--2,59-88(2008;Zbl 1192.68154) 全文: 内政部 链接
杰弗里·马克·西斯金德;巴拉克·A·皮尔默特。 在功能框架中嵌套前向模式AD。 (英语) 兹比尔1175.68104 高-订购符号。计算。 21,第4期,361-376(2008).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Siskind}和\textit{B.A.Pearlmutter},高-订购符号。计算。21,第4号,361--376(2008;Zbl 1175.68104) 全文: 内政部 链接
克里希纳穆提,施莱姆;霍普金斯,彼得·沃尔顿;杰·麦卡锡;Paul T.Graunke。;格雷格·佩蒂约翰;费莱森,马蒂亚斯 PLT方案web服务器的实现和使用。 (英语) Zbl 1129.68330号 高-订购符号。计算。 20,第4期,431-460(2007).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{S.Krishnamurthi}等人,高-订购符号。计算。20,第4号,431--460(2007;Zbl 1129.68330) 全文: 内政部
尼尔·加尼;塔尔莫乌斯塔卢;马科托·哈马纳 显式替换和高阶语法。 (英语) Zbl 1105.68021号 高-订购符号。计算。 19,编号2-3,263-282(2006).MSC公司:68号30 03B40型 68甲18 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人,高-订购符号。计算。19、编号2--3、263--282(2006;Zbl 1105.68021) 全文: 内政部
弗朗索瓦·波蒂埃;Nadji Gauthier 多形型非功能化和具体化。 (英语) Zbl 1105.68018号 高-订购符号。计算。 19,第1期,125-162(2006).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Pottier}和\textit{N.Gauthier},高中-订购符号。计算。19,第1号,125--162(2006;Zbl 1105.68018) 全文: 内政部
南迪瓦达,V.Krishna;苏雷什·贾甘纳森 使用版本控制异常进行动态状态恢复。 (英语) Zbl 1105.68013号 高-订购符号。计算。 19,第1期,101-124(2006).MSC公司:68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Nandivada}和\textit{S.Jagannathan},高-订购符号。计算。19,第1号,101--124(2006;Zbl 1105.68013) 全文: 内政部
H.-W.罗伊德。;F.鲁比奥。;斯凯夫,N。;K·哈蒙德。;Horiguchi,S。;美国克鲁西克。;罗根。;迈克尔森,G.J。;佩尼亚,R。;普里贝,S。;阿拉巴马州雷邦。J。;P.W.特林德。 比较并行函数语言:编程和性能。 (英语) Zbl 1074.68541号 高-订购符号。计算。 16,第3期,203-251(2003).MSC公司:68甲18 68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.W.Loidl}等人,高-订购符号。计算。16,第3号,203--251(2003;Zbl 1074.68541) 全文: 内政部
Jerzy Karczmarczuk 计算机程序的功能区分。 (英语) Zbl 0967.68174号 高-订购符号。计算。 第14期,第1期,35-57页(2001年).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Karczmarczuk},高-订购符号。计算。14,第1号,35-57(2001;Zbl 0967.68174) 全文: 内政部