编辑配置文件(在新选项卡中打开) 拉尔夫·欣泽 合著者距离 作者ID: 汉化.ralf 发布日期: 拉尔夫·欣泽 已编制索引的文档: 61出版物自1992年以来,包括4本书 1名编辑贡献 合著者: 17合著者具有26联合出版物 277位合作作者 全部的 前5名合著者 36 单作者的 6 约翰·杰林 6 安德烈斯·洛赫 4 尼古拉斯·吴 三 杰里米·吉本斯 三 丹·马斯登 1 Cremers,Armin B。 1 乌尔里克·格里芬 1 弗里茨·亨利恩 1 丹尼尔·詹姆斯(Daniel W.H.James)。 1 何塞·佩德罗·马加莱斯 1 克莱尔·马丁。 1 布鲁诺·C·d·S·奥利维拉。 1 罗斯·A·帕特森。 1 西蒙·琼斯(Simon L.Peyton Jones)。 1 科林·伦西曼 1 沃特·斯威斯特拉 1 Janis Voigtlander公司 全部的 前5名系列 19 函数编程杂志 三 计算机程序设计科学 1 国际计算机科学基础杂志 1 离散数学和理论计算机科学。DMTCS公司 1 函数与逻辑程序设计杂志 1 计算机科学课堂讲稿 1 程序设计中的逻辑与代数方法杂志 领域 60 计算机科学(68至XX) 9 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 47出版物有被引用203中的次140文件 引用人▼ 年份▼ 就这么做吧:简单的一元方程式推理。 Zbl 1323.68207号 杰里米·吉本斯;拉尔夫·欣泽 16 2011 泛化广义尝试。 Zbl 0965.68016号 拉尔夫·欣泽 13 2000 手指树:一种简单的通用数据结构。 Zbl 1088.68041号 拉尔夫·欣泽;罗斯·帕特森 12 2006 推导回溯单子变压器。 Zbl 1321.68195号 拉尔夫·欣泽 9 2000 泛型函数编程的一种新方法。 Zbl 1323.68122号 拉尔夫·欣泽 8 2000 制造数据类型。 Zbl 0994.68045号 拉尔夫·欣泽 7 2001 混凝土流演算:扩展研究。 Zbl 1221.68072号 拉尔夫·欣泽 7 2010 功能编程的打字合同。 Zbl 1185.68195号 拉尔夫·欣泽;约翰·杰林;安德烈斯·洛赫 7 2006 通用哈斯克尔:实践与理论。 Zbl 1274.68049号 拉尔夫·欣泽;约翰·杰林 7 2003 派生类型类。 Zbl 1262.68028号 拉尔夫·欣泽;西蒙·佩顿·琼斯 7 2001 多型值具有多型类型。 Zbl 1016.68021号 拉尔夫·欣泽 6 2002 键入索引数据类型。 Zbl 1091.68025号 拉尔夫·欣泽;约翰·杰林;安德烈斯·洛赫 6 2004 大众泛指。 兹比尔1122.68022 拉尔夫·欣泽 6 2006 统一结构化递归方案。 Zbl 1323.68123号 拉尔夫·欣泽;尼古拉斯·吴;杰里米·吉本斯 5 2013 完美树和位覆盖排列。 Zbl 0957.68027号 拉尔夫·欣泽 5 2000 共轭体模——或:所有结构化递归方案之母。 Zbl 1345.68057号 拉尔夫·欣泽;尼古拉斯·吴;杰里米·吉本斯 5 2015 鸟树。 Zbl 1191.68161号 拉尔夫·欣泽 5 2009 通用Haskell:应用程序。 Zbl 1274.68050号 拉尔夫·欣泽;约翰·杰林 5 2003 扫描代数。 Zbl 1106.68022号 拉尔夫·欣泽 4 2004 功能珍珠:溪流和独特的固定点。 兹比尔1323.68121 拉尔夫·欣泽 4 2008 用棒棒糖、叉子、杯子、帽子、蛇和速度计进行等式推理。 Zbl 1375.18027号 拉尔夫·欣泽;丹·马斯登 4 2016 3D中的通用编程。 Zbl 1192.68138号 拉尔夫·欣泽;安德烈斯·洛赫 4 2009 “刮掉样板”革命。 Zbl 1235.68053号 拉尔夫·欣泽;安德烈斯·洛赫 4 2006 “刮掉你的样板”重新加载。 Zbl 1185.68196号 拉尔夫·欣泽;安德烈斯·洛赫;布鲁诺·C·d·S·奥利维拉。 4 2006 Kan程序优化扩展Or:Art和Dan解释了一个老把戏。 Zbl 1358.68057号 拉尔夫·欣泽 三 2012 Prolog在功能设置中的控制结构——公理和实现。 Zbl 1319.68053号 拉尔夫·欣泽 三 2001 编织一张网。 Zbl 1037.68520号 拉尔夫·欣泽;约翰·杰林 三 2001 基于投影的严格性分析。理论和实践方面。 Zbl 0870.68046号 拉尔夫·欣泽 2 1995 证明唯一不动点原理是正确的:范畴理论的冒险。 Zbl 1323.68211号 拉尔夫·欣泽;丹尼尔·詹姆斯(Daniel W.H.James)。 2 2011 优先级搜索队列的简单实现技术。 Zbl 1323.68119号 拉尔夫·欣泽 2 2001 教会数字,两次! Zbl 1063.68032号 拉尔夫·欣泽 2 2005 大众泛指。 Zbl 1323.68120号 拉尔夫·欣泽 2 2004 自我认证铁路图。或者:如何教授非确定性有限自动机。 Zbl 1434.68257号 拉尔夫·欣泽 2 2019 多型值具有多型类型。 Zbl 0963.68035号 拉尔夫·欣泽 2 2000 带有附加功能的通用编程。 Zbl 1374.68114号 拉尔夫·欣泽 2 2012 嵌套数据类型上的多类型函数。 Zbl 0947.68031号 拉尔夫·欣泽 2 1999 格式化:一种集体行为。 Zbl 1103.68433号 拉尔夫·欣泽 2 2003 构建锦标赛表示:逐点关系编程的练习。 Zbl 1073.68578号 拉尔夫·欣泽 2 2002 伴随着折叠和展开。或者:在形态的丛林中穿梭。 Zbl 1286.68080号 拉尔夫·欣泽 2 2010 功能完善的1-2棵兄弟树。 Zbl 1191.68162号 拉尔夫·欣泽 2 2009 类型融合。 Zbl 1308.68041号 拉尔夫·欣泽 2 2011 解释二项式堆。 兹伯利0926.68026 拉尔夫·欣泽 1 1999 轻松实现多类型编程。 Zbl 0971.68020号 拉尔夫·欣泽 1 2001 某种意义上的二元性。 Zbl 1405.68101号 拉尔夫·欣泽;何塞·佩德罗;尼古拉斯·吴 1 2013 程序构造的数学。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。 Zbl 1312.68008号 1 2015 统一结构化递归方案。扩展研究。 Zbl 1420.68039号 拉尔夫·欣泽;尼古拉斯·吴 1 2016 按分布排序和搜索:从一般性歧视到一般性尝试。 Zbl 1426.68071号 弗里茨·亨利恩;拉尔夫·欣泽 1 2013 自我认证铁路图。或者:如何教授非确定性有限自动机。 Zbl 1434.68257号 拉尔夫·欣泽 2 2019 用棒棒糖、叉子、杯子、帽子、蛇和速度计进行等式推理。 Zbl 1375.18027号 拉尔夫·欣泽;丹·马斯登 4 2016 统一结构化递归方案。扩展研究。 Zbl 1420.68039号 拉尔夫·欣泽;尼古拉斯·吴 1 2016 共轭体模——或:所有结构化递归方案之母。 Zbl 1345.68057号 拉尔夫·欣泽;尼古拉斯·吴;杰里米·吉本斯 5 2015 程序构造的数学。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。 Zbl 1312.68008号 1 2015 统一结构化递归方案。 Zbl 1323.68123号 拉尔夫·欣泽;尼古拉斯·吴;杰里米·吉本斯 5 2013 某种意义上的二元性。 Zbl 1405.68101号 拉尔夫·欣泽;何塞·佩德罗·马加莱斯;吴,尼古拉斯 1 2013 按分布排序和搜索:从一般性歧视到一般性尝试。 Zbl 1426.68071号 弗里茨·亨利恩;拉尔夫·欣泽 1 2013 Kan程序优化扩展Or:Art和Dan解释了一个老把戏。 Zbl 1358.68057号 拉尔夫·欣泽 三 2012 带有附加功能的通用编程。 Zbl 1374.68114号 拉尔夫·欣泽 2 2012 就这么做吧:简单的一元方程式推理。 Zbl 1323.68207号 杰里米·吉本斯;拉尔夫·欣泽 16 2011 证明唯一不动点原理是正确的:范畴理论的冒险。 Zbl 1323.68211号 拉尔夫·欣泽;丹尼尔·詹姆斯(Daniel W.H.James)。 2 2011 类型融合。 Zbl 1308.68041号 拉尔夫·欣泽 2 2011 混凝土流演算:扩展研究。 Zbl 1221.68072号 拉尔夫·欣泽 7 2010 伴随着折叠和展开。或者:在形态的丛林中穿梭。 Zbl 1286.68080号 拉尔夫·欣泽 2 2010 鸟树。 Zbl 1191.68161号 拉尔夫·欣泽 5 2009 3D中的通用编程。 兹比尔1192.68138 拉尔夫·欣泽;安德烈斯·洛赫 4 2009 功能完善的1-2棵兄弟树。 Zbl 1191.68162号 拉尔夫·欣泽 2 2009 功能珍珠:溪流和独特的固定点。 Zbl 1323.68121号 拉尔夫·欣泽 4 2008 手指树:一种简单的通用数据结构。 Zbl 1088.68041号 拉尔夫·欣泽;罗斯·帕特森 12 2006 功能编程的打字合同。 Zbl 1185.68195号 拉尔夫·欣泽;约翰·杰林;安德烈斯·洛赫 7 2006 大众泛指。 Zbl 1122.68022号 拉尔夫·欣泽 6 2006 “刮掉样板”革命。 兹比尔1235.68053 拉尔夫·欣泽;安德烈斯·洛赫 4 2006 “刮掉你的样板”重新加载。 Zbl 1185.68196号 拉尔夫·欣泽;安德烈斯·洛赫;布鲁诺·C·d·S·奥利维拉。 4 2006 教会数字,两次! Zbl 1063.68032号 拉尔夫·欣泽 2 2005 类型标识的数据类型。 Zbl 1091.68025号 拉尔夫·欣泽;约翰·杰林;安德烈斯·洛赫 6 2004 扫描代数。 Zbl 1106.68022号 拉尔夫·欣泽 4 2004 大众泛指。 Zbl 1323.68120号 拉尔夫·欣泽 2 2004 通用哈斯克尔:实践与理论。 Zbl 1274.68049号 拉尔夫·欣泽;约翰·杰林 7 2003 通用Haskell:应用程序。 Zbl 1274.68050号 拉尔夫·欣泽;约翰·杰林 5 2003 格式:集体表演。 Zbl 1103.68433号 拉尔夫·欣泽 2 2003 多型值具有多型类型。 Zbl 1016.68021号 拉尔夫·欣泽 6 2002 构建锦标赛表示:逐点关系编程的练习。 Zbl 1073.68578号 拉尔夫·欣泽 2 2002 制造数据类型。 Zbl 0994.68045号 拉尔夫·欣泽 7 2001 派生类型类。 Zbl 1262.68028号 拉尔夫·欣泽;西蒙·佩顿·琼斯 7 2001 Prolog的控制构建在功能设置中——公理和实现。 Zbl 1319.68053号 拉尔夫·欣泽 三 2001 编织一张网。 Zbl 1037.68520号 拉尔夫·欣泽;约翰·杰林 三 2001 优先级搜索队列的一种简单实现技术。 Zbl 1323.68119号 拉尔夫·欣泽 2 2001 轻松实现多类型编程。 Zbl 0971.68020号 拉尔夫·欣泽 1 2001 泛化广义尝试。 兹伯利0965.68016 拉尔夫·欣泽 13 2000 推导回溯单子变压器。 Zbl 1321.68195号 拉尔夫·欣泽 9 2000 泛型函数编程的一种新方法。 Zbl 1323.68122号 拉尔夫·欣泽 8 2000 完美树和位覆盖排列。 Zbl 0957.68027号 拉尔夫·欣泽 5 2000 多型值具有多型类型。 Zbl 0963.68035号 拉尔夫·欣泽 2 2000 嵌套数据类型上的多类型函数。 Zbl 0947.68031号 拉尔夫·欣泽 2 1999 解释二项式堆。 Zbl 0926.68026号 拉尔夫·欣泽 1 1999 基于投影的严格性分析。理论和实践方面。 Zbl 0870.68046号 拉尔夫·欣泽 2 1995 所有引用出版物 前5名被引用出版物 全部的 前5名245位作者引用 12 拉尔夫·欣泽 5 吴,尼古拉斯 4 杰里米·吉本斯 4 安德烈亚斯·洛赫比勒 4 Shan、Chung-chieh 4 斯蒂芬妮·威里奇 三 安德烈亚斯·阿贝尔。 三 傅鹏 三 奥列格·基塞利约夫 三 何塞·佩德罗·马加莱斯 三 拉尔夫·马提斯 三 穆申成 三 西蒙·琼斯(Simon L.Peyton Jones)。 三 简·J·M·M·鲁顿。 三 阿穆尔·萨布里 三 汤姆·施里杰弗斯 三 沃特·斯威斯特拉 三 彼得·蒂曼。 三 塔尔莫乌斯塔卢 2 雷纳尔德·阿弗尔德 2 大卫·安科纳 2 浅井,肯尼奇 2 彼得罗·巴比里 2 约阿希姆·布雷特纳 2 维南西奥·卡普雷塔 2 阿尔西诺·库尼亚 2 马库斯·德根 2 彼得·戴比杰 2 Fluet,Matthew T。 2 尼尔·加尼 2 Helle Hvid汉森 2 弗里茨·亨利恩 2 斯特凡·霍尔德曼 2 约翰·杰林 2 克莱门斯·库普克 2 彼得·兰米奇 2 克莱尔·马丁。 2 詹姆斯·麦金纳 2 托比亚斯·尼普科夫 2 何塞·努诺·奥利维拉 2 罗宾·皮埃德鲁 2 马西耶·皮罗格 2 阿列克谢·罗德里格斯·雅库舍夫 2 Joost Visser公司 2 Vytiniotis,迪米特里奥斯 2 菲利普·李·沃德勒 2 斯特凡·韦尔 2 法比奥·扎纳西 2 埃琳娜·祖卡 1 法利斯·阿布·萨利赫 1 彼得·阿奇顿 1 阿马尔·艾哈迈德 1 纪尧姆·阿拉伊斯 1 托尔斯滕·阿滕柯奇 1 奥曼·波霍拉,约翰内斯 1 泽纳·M·阿里奥拉。 1 罗伯特·艾奇 1 安妮·巴南 1 罗兰·贝克豪斯(Roland C.Backhouse)。 1 克里斯·巴克 1 亚历山大·鲍姆加特纳 1 尼克·本顿 1 Bergström,Lars B。 1 Jean-Philippe Bernardy 1 贾斯敏·克里斯蒂安·布兰切特 1 Bouzy,艾默里克 1 安娜·波夫 1 托马斯·布雷班特 1 伯恩德·布拉埃尔 1 比约恩·布林特 1 雅克·卡雷特 1 查德威克,布莱恩 1 詹姆斯·查普曼(James T.E.Chapman)。 1 陈忠信 1 陈坤 1 詹姆斯·切尼 1 蒋宗钜 1 皮埃尔·奇夫利埃 1 科恩·克莱森 1 克里斯蒂安·克劳森 1 莎朗·柯蒂斯(Sharon A.Curtis)。 1 奥利维尔·丹维 1 达斯,安库什 1 伊曼纽尔·德·安吉利斯 1 Del Río,A.Cernuda 1 埃德斯科·德弗里斯 1 亨利·德扬 1 Díez,M.C.Luengo 1 凯文·唐纳利。 1 Doornbos,亨克 1 保罗·唐恩 1 德雷克·德拉海姆 1 安德烈·劳贝尔·杜博伊斯 1 凯瑟琳·杜波依斯 1 格雷戈里·杜克。 1 约坦·德维尔 1 索尔伦·哈拉·埃纳尔斯多蒂尔 1 理查德·艾森伯格。 1 埃伦·哥克曼(Eren Gökmen,Buket) 1 费尔南德斯,圣保罗 …还有145位作者 全部的 前5名21篇连载文章中引用 35 函数编程杂志 9 高阶和符号计算 6 计算机程序设计科学 5 理论计算机科学 4 自动推理杂志 三 逻辑与代数程序设计杂志 三 程序设计中的逻辑与代数方法杂志 2 计算的形式方面 2 计算机科学中的数学结构 2 逻辑程序设计的理论与实践 2 计算机科学中的逻辑方法 1 信息处理信件 1 数学物理杂志 1 信息与计算 1 数学和计算机建模 1 国际计算机科学基础杂志 1 逻辑、语言与信息杂志 1 数学科学公报 1 计算系统理论 1 应用数学杂志 1 离散算法杂志 全部的 前5名在14个字段中引用 134 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 13 范畴理论;同调代数(18-XX) 5 数论(11-XX) 三 量子理论(81-XX) 三 信息与通信理论、电路(94-XX) 2 组合数学(05-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 非结合环和代数(17-XX) 1 群论与推广(20-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文