彼得·阿奇顿;马克·范·埃克伦;皮特·库普曼;马可·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.68026号 高-订购符号。计算。 23,第3期,315-335(2010).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Holdermans}和\textit{J.Hage},高中-订购符号。计算。23,第3号,315--335(2010;Zbl 1232.68026) 全文: 内政部
尼尔·斯卡索普;亨利克·尼尔森 面对变化保持冷静。通过推理变化来优化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,第2号,227--271(2010;Zbl 1232.68027) 全文: 内政部
汤姆·赫肖维茨;泽维尔·勒罗伊;威尔斯,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--2,147-192(2008;Zbl 1192.68139) 全文: 内政部 链接
克里希纳穆提,施莱姆;霍普金斯,彼得·沃尔顿;杰·麦卡锡;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年;兹bl 1129.68330) 全文: 内政部