编辑配置文件(在新选项卡中打开) 凯文·米利金 合著者距离 作者ID: 米利金·凯文 发布日期: 凯文·米利金 外部链接: 管理程序 已编制索引的文档: 7出版物自2006年起 合著者: 4位合著者具有7联合出版物 43位合作作者 合著者 0 单作者的 7 奥利维尔·丹维 2 约翰·蒙克 2 伊恩·泽尼 1 Lasse R.尼尔森。 系列 1 信息处理信件 1 理论计算机科学 1 计算机程序设计科学 1 函数编程杂志 1 计算机科学中的逻辑方法 领域 7 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用40中的次26文件 引用人▼ 年份▼ 关于小步和大步抽象机之间的等价性:轻量级融合的简单应用。 Zbl 1186.68122号 奥利维尔·丹维;凯文·米利金 11 2008 工作中的重新功能化。 Zbl 1192.68115号 奥利维尔·丹维;凯文·米利金 9 2009 用J操作符对Landin的SECD机器进行理性解构。 Zbl 1161.68012号 奥利维尔·丹维;凯文·米利金 8 2008 用于按需评估的功能失效的口译员。 Zbl 1284.68129号 奥利维尔·丹维;凯文·米利金;约翰·蒙克;伊恩·泽尼 5 2010 关于相互派生的小步和大步语义:按需评估无存储调用的案例研究。 Zbl 1244.68026号 奥利维尔·丹维;凯文·米利金;约翰·蒙克;伊恩·泽尼 三 2012 一次性CPS转换。 Zbl 1130.68037号 奥利维尔·丹维;凯文·米利金;尼尔森,拉塞·R。 三 2007 对兰丁J算子的理性解构。 Zbl 1236.68026号 奥利维尔·丹维;凯文·米利金 1 2006 关于小步骤和大步骤语义的交互派生:无存储调用需求评估的案例研究。 Zbl 1244.68026号 奥利维尔·丹维;凯文·米利金;约翰·蒙克;伊恩·泽尼 三 2012 用于按需评估的功能失效的口译员。 Zbl 1284.68129号 奥利维尔·丹维;凯文·米利金;约翰·蒙克;伊恩·泽尼 5 2010 工作中的重新功能化。 Zbl 1192.68115号 奥利维尔·丹维;凯文·米利金 9 2009 关于小步和大步抽象机之间的等价性:轻量级融合的简单应用。 Zbl 1186.68122号 奥利维尔·丹维;凯文·米利金 11 2008 用J操作符对Landin的SECD机器进行理性解构。 Zbl 1161.68012号 奥利维尔·丹维;凯文·米利金 8 2008 关于单程CPS变换。 Zbl 1130.68037号 奥利维尔·丹维;凯文·米利金;Lasse R.尼尔森。 三 2007 对兰丁J算子的理性解构。 Zbl 1236.68026号 奥利维尔·丹维;凯文·米利金 1 2006 所有引用出版物 前5名被引用出版物 全部的 前5名34位作者引用 9 奥利维尔·丹维 三 马·戈扎塔·比尔纳卡 三 伊恩·泽尼 2 Dan R.吉卡。 2 雅各布·约翰森 2 凯文·米利金 2 亚历克西斯·索林 1 泽纳·M·阿里奥拉。 1 巴赫·鲍尔森,卡斯珀 1 帕特里克·巴尔 1 Dariusz Biernacki 1 布莱恩·查德威克 1 维托尔德·查拉托尼克 1 克拉克,托尼 1 克拉克,戴夫 1 奥尔内拉·达达 1 西蒙·福勒 1 凯文·哈蒙德 1 雨果·赫贝林 1 格雷厄姆·赫顿 1 温·科克 1 朗格莱,塞尔盖伊 1 卡尔·利伯赫。 1 萨姆·林德利 1 马雷克·马特佐克 1 格雷格·迈克尔森 1 J.Garrett莫里斯 1 彼得·莫塞斯(Peter D.Mosses)。 1 约翰·蒙克 1 Koko Muroya 1 皮埃尔·马里·佩德罗 1 马提亚斯·普奇 1 伊利亚·谢尔盖 1 罗伯特·坦南特。 全部的 前5名9连载 6 高阶和符号计算 2 理论计算机科学 2 计算机科学中的逻辑方法 1 信息处理信件 1 计算机与系统科学杂志 1 计算机程序设计科学 1 函数编程杂志 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 24 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 按年份列出的引文