奥利维尔·丹维;凯文·米利金 关于小步和大步抽象机之间的等价性:轻量级融合的简单应用。 (英语) Zbl 1186.68122号 信息处理。莱特。 106,第3期,100-109(2008).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{K.Millikin},Inf.过程。莱特。106,第3号,100--109(2008;Zbl 1186.68122) 全文: 内政部
奥利维尔·丹维;Henning Korsholm,罗德 关于通过部分评估获得Boyer-Moore字符串匹配算法。 (英语) Zbl 1185.68281号 信息处理。莱特。 99,第4期,158-162(2006).MSC公司:68页第10页 68瓦40 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{H.K.Rohde},Inf.过程。莱特。99,第4号,158--162(2006;Zbl 1185.68281) 全文: 内政部
奥利维尔·丹维;Lasse R.尼尔森。 β-redex的CPS转换。 (英语) Zbl 1182.68045号 信息处理。莱特。 94,第5期,217-224(2005).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{L.R.Nielsen},Inf.过程。莱特。94,第5号,217--224(2005;Zbl 1182.68045) 全文: 内政部
Ager,Mads Sig公司;奥利维尔·丹维;米德加德,一月 调用-需要计算器和惰性抽象机器之间的函数通信。 (英语) Zbl 1178.68249号 信息处理。莱特。 90,第5期,223-232(2004).MSC公司:2005年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Ager}等人,《信息处理》。莱特。90,第5号,223--232(2004;Zbl 1178.68249) 全文: 内政部