Hayo Thielecke 解析操作的语义。 (英语) Zbl 1283.68202号 科学。计算。程序。 84, 52-76 (2014).MSC公司:第68季度55 2012年第68季度 68甲15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{H.Thielecke},科学。计算。程序。84、52——76(2014;Zbl 1283.68202) 全文: 内政部
杰里米·西克。;安德鲁·卢姆斯代恩 通用编程语言。 (英语) Zbl 1217.68050号 科学。计算。程序。 76,第5期,423-465(2011).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Siek}和\textit{A.Lumsdaine},科学。计算。程序。76,编号5,423-465(2011年;兹bl 1217.68050) 全文: 内政部
约瑟夫·吉尔(约西);克伦·伦茨 简单安全的SQL查询C类++模板。 (英语) Zbl 1211.68155号 科学。计算。程序。 75,第7期,573-595(2010).MSC公司:第68页,共15页 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gil}和\textit{K.Lenz},科学。计算。程序。75,第7号,573--595(2010;Zbl 1211.68155) 全文: 内政部
尼古拉斯·弗里斯比;加林·金梅尔;菲利普·韦弗;佩里·亚历山大 用代数组合子构造语言处理器。 (英语) Zbl 1211.68049号 科学。计算。程序。 75,第7期,543-572(2010).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Frisby}等人,科学。计算。程序。75,编号7,543--572(2010;Zbl 1211.68049) 全文: 内政部
马丁·布拉文波尔;埃尔科·多尔斯特拉;埃尔科·维瑟 使用语法嵌入防止注入攻击。 (英语) Zbl 1211.68046号 科学。计算。程序。 75,第7期,473-495(2010).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravenboer}等人,科学。计算。程序。75,第7号,473--495(2010;Zbl 1211.68046) 全文: 内政部
阿拉斯泰尔·唐纳森。;西蒙·盖伊。 Promela的类型推断和强静态类型检查。 (英语) Zbl 1209.68080号 科学。计算。程序。 75,第11期,1165-1191(2010).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}和\textit{S.J.Gay},科学。计算。程序。75,第11号,1165--1191(2010;Zbl 1209.68080) 全文: 内政部
陈坤;翁淑春;王蒙;邱小成;陈忠信 多态类型函数语言方面的类型定向编织。 (英语) Zbl 1209.68105号 科学。计算。程序。 75,第11期,1048-1076(2010).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Chen}等人,科学。计算。程序。75,编号11048-1076(2010年;兹bl 1209.68105) 全文: 内政部 链接
拉尔夫·欣泽;安德烈斯·洛赫 3D中的通用编程。 (英语) Zbl 1192.68138号 科学。计算。程序。 74,第8期,590-628(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze}和\textit{A.Löh},科学。计算。程序。74,第8号,590--628(2009;Zbl 1192.68138) 全文: 内政部
拉尔夫·拉梅尔 谷歌的MapReduce编程模型——重温。 (英语) Zbl 1129.68414号 科学。计算。程序。 70,第1期,1-30页(2008年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.Lämmel},科学。计算。程序。70,第1号,1--30(2008;Zbl 1129.68414) 全文: 内政部
马丁·埃尔维格;任德灵 表示类型安全程序更新的更新演算。 (英语) Zbl 1122.68039号 科学。计算。程序。 67,第2-3号,199-222(2007).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Erwig}和\textit{D.Ren},科学。计算。程序。67,编号2--3,199-222(2007;Zbl 1122.68039) 全文: 内政部
弗兰克·阿塔纳索夫;约翰·杰林 在泛型Haskell中使用类型同构推理自定义XML-Haskell-数据绑定。 (英语) Zbl 1109.68024号 科学。计算。程序。 65,第2期,72-107(2007).MSC公司:68甲15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.Atanasso}和\textit{J.Jeuring},科学。计算。程序。65,No.2,72--107(2007;Zbl 1109.68024) 全文: 内政部
拉尔夫·欣泽;约翰·杰林;安德烈斯·洛赫 类型标识的数据类型。 (英语) Zbl 1091.68025号 科学。计算。程序。 51,编号1-2,117-151(2004).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze}等人,科学。计算。程序。51,编号1-2-117-151(2004年;兹bl 1091.68025) 全文: 内政部
安德鲁·莫兰;大卫·桑兹;马格纳斯卡尔森 不稳定的福吉:一种嵌入式协调语言的语义理论。 (英语) Zbl 1026.68091号 科学。计算。程序。 46,编号1-2,99-135(2003).MSC公司:第68季度55 68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Moran}等人,科学。计算。程序。46,编号1--2,99-135(2003;Zbl 1026.68091) 全文: 内政部
拉尔夫·欣泽 多元价值观具有多元类型。 (英语) Zbl 1016.68021号 科学。计算。程序。 43,编号2-3,129-159(2002).MSC公司:68甲15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze},科学。计算。程序。43,No.2--3,129--159(2002;Zbl 1016.68021) 全文: 内政部
约翰·诺德兰德 O'Haskell的多态性亚型。 (英语) Zbl 1016.68020号 科学。计算。程序。 43,编号2-3,93-127(2002).MSC公司:68甲15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Nordlander},科学。计算。程序。43,编号2--3,93-127(2002;Zbl 1016.68020) 全文: 内政部
帕特里克·简森;约翰·杰林 多类型数据转换程序。 (英语) Zbl 1004.68043号 科学。计算。程序。 43,第1期,35-75(2002).MSC公司:68甲18 68米15 PDF格式BibTeX公司 XML格式引用 \textit{P.Jansson}和\textit{J.Jeuring},科学。计算。程序。43,第1号,第35--75条(2002年;Zbl 1004.68043) 全文: 内政部
西蒙·佩顿·琼斯;安德烈·L·M·桑托斯。 Haskell基于转换的优化程序。 (英语) 兹比尔0942.68030 科学。计算。程序。 32,第1-3、3-47号(1998年).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.L.P.Jones}和\textit{A.L.M.Santos},科学。计算。程序。32,编号1--3,3-47(1998;Zbl 0942.68030) 全文: 内政部