编辑配置文件（在新选项卡中打开） 奥列格·基塞利约夫 合著者距离 作者ID： 基塞利约夫·奥列格 发布日期： 奥列格·基塞利约夫 已编制索引的文档： 26出版物自2002年起 2作为编辑的贡献 合著者： 23位合著者具有20联合出版物 382位联合作者 全部的 前5名合著者 8 单作者的 11 Shan、Chung-chieh 三 阿穆尔·萨布里 2 雅克·卡雷特 2 塞巴斯蒂安·费舍尔 2 丹尼尔·弗里德曼（Daniel P.Friedman）。 2 Yukiyoshi县Kameyama 1 浅井，肯尼奇 1 阿格洛斯·比布迪斯 1 William E.伯德。 1 阿尔伯特·科恩 1 塞巴斯蒂安·多纳迪奥 1 玛丽亚·加扎兰-耶稣 1 克里斯托夫·阿尔敏·赫尔曼 1 Imai、Keigo 1 安迪·金 1 克里希纳穆提，施莱姆 1 朱莉娅·劳尔。 1 穆信诚 1 大卫·A·帕多瓦。 1 尼克·帕拉迪诺斯 1 西蒙·琼斯（Simon L.Peyton Jones）。 1 亚尼斯·斯马拉格达基斯 1 于托·苏多 系列 5 函数编程杂志 三 高阶与符号计算 2 计算机程序设计科学 1 理论计算机科学 1 计算机科学课堂讲稿 领域 27 计算机科学（68至XX） 2 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 1 统计学（62-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用87中的次68文件 引用人▼ 年份▼ 最后，无标记，部分评估：用于简单类型语言的无标记阶段口译员。 Zbl 1191.68158号 雅克·卡雷特;奥列格·基塞利约夫;Shan，Chung-Chieh公司 16 2009 回溯、交错和端接单声道变压器（功能珍珠）。 Zbl 1302.68061号 奥列格·基塞利约夫;Shan、Chung-chieh;丹尼尔·弗里德曼（Daniel P.Friedman）。;阿穆尔·萨布里 11 2005 使用functor和monad的多级编程：消除泛型代码的抽象开销。 Zbl 1215.68059号 雅克·卡雷特;奥列格·基塞利约夫 7 2011 纯功能的惰性非确定性编程。 Zbl 1262.68032号 塞巴斯蒂安·费舍尔;奥列格·基塞利约夫;Shan，Chung Chieh，钟杰 6 2011 打字无标签终审口译员。 Zbl 1375.68039号 奥列格·基塞利约夫 6 2012 带分隔符的动态绑定。 Zbl 1321.68128号 奥列格·基塞利约夫;Shan、Chung-chieh;阿穆尔·萨布里 5 2006 用于分隔延续的子结构类型系统。 Zbl 1215.68124号 奥列格·基塞利约夫;Shan、Chung-chieh 5 2007 纯功能惰性非确定性编程。 Zbl 1302.68058号 塞巴斯蒂安·费舍尔;奥列格·基塞利约夫;Shan、Chung-chieh 5 2009 寻找一个程序生成器来实现高性能计算的通用转换。 Zbl 1100.68535号 阿尔伯特·科恩;塞巴斯蒂安·多纳迪奥;玛丽亚·加扎兰-耶稣;克里斯托夫·赫尔曼;奥列格·基塞利约夫;大卫·帕多瓦 4 2006 OCaml中抽象和具体的分隔控制。 Zbl 1244.68015号 奥列格·基塞利约夫 三 2012 移动舞台。带分隔控件的暂存。 Zbl 1248.68132号 Yukiyoshi县Kameyama;奥列格·基塞利约夫;Shan，Chung Chieh，钟杰 三 2011 \（\lambda\）到SKI，语义上是声明性珍珠。 兹比尔1507.68073 奥列格·基塞利约夫 三 2018 概率编程语言及其增量计算。 Zbl 1483.68054号 奥列格·基塞利约夫 2 2016 流融合，达到完美。 Zbl 1380.68084号 奥列格·基塞利约夫;阿格洛斯·比布迪斯;尼克·帕拉迪诺斯;亚尼斯·斯马拉格达基斯 2 2017 纯粹的、陈述性的和构造性的算术关系。（声明珍珠）。 Zbl 1137.68574号 奥列格·基塞利约夫;William E.伯德。;丹尼尔·弗里德曼（Daniel P.Friedman）。;Shan、Chung-chieh 2 2008 不仅仅是通过方程式。具有可扩展效果的推理。 Zbl 1522.68124号 奥列格·基塞利约夫;穆申成;萨布里，阿姆尔 2 2021 轻量级静态功能。 Zbl 1277.68052号 奥列格·基塞利约夫;Shan、Chung-chieh 1 2007 功能和逻辑编程。2016年3月4日至6日，第13届国际研讨会，FLOPS 2016，日本高知。诉讼程序。 Zbl 1331.68016号 1 2016 SXSLT：XML的操作语言。 Zbl 1026.68785号 奥列格·基塞利约夫;克里希纳穆提，施莱姆 1 2002 类型函数的乐趣。 Zbl 1213.68190号 奥列格·基塞利约夫;西蒙·佩顿·琼斯;Shan，Chung-Chieh公司 1 2010 组成宏：系统宏编程。 Zbl 1028.68809号 奥列格·基塞利约夫 1 2002 不仅仅是通过方程式。具有可扩展效果的推理。 Zbl 1522.68124号 奥列格·基塞利约夫;穆申成;阿穆尔·萨布里 2 2021 \（\lambda\）到SKI，语义上是声明性珍珠。 Zbl 1507.68073号 奥列格·基塞利约夫 三 2018 流融合，以实现完整性。 Zbl 1380.68084号 奥列格·基塞利约夫;毕布迪斯、阿格洛斯;Palladinos，尼克;亚尼斯·斯马拉格达基斯 2 2017 概率编程语言及其增量计算。 Zbl 1483.68054号 奥列格·基塞利约夫 2 2016 功能和逻辑编程。2016年3月4日至6日，第13届国际研讨会，FLOPS 2016，日本高知。诉讼程序。 Zbl 1331.68016号 1 2016 打字无标签终审口译员。 Zbl 1375.68039号 奥列格·基塞利约夫 6 2012 OCaml中抽象和具体的分隔控制。 Zbl 1244.68015号 奥列格·基塞利约夫 三 2012 使用functor和monad的多级编程：消除泛型代码的抽象开销。 Zbl 1215.68059号 雅克·卡雷特;奥列格·基塞利约夫 7 2011 纯功能的惰性非确定性编程。 Zbl 1262.68032号 塞巴斯蒂安·费舍尔;奥列格·基塞利约夫;Shan，Chung-Chieh公司 6 2011 转移舞台。带分隔控件的暂存。 Zbl 1248.68132号 Yukiyoshi县Kameyama;奥列格·基塞利约夫;Shan，Chung-Chieh公司 三 2011 类型函数的乐趣。 Zbl 1213.68190号 奥列格·基塞利约夫;西蒙·佩顿·琼斯;Shan，Chung-Chieh公司 1 2010 最后，无标记，部分评估：用于简单类型语言的无标记阶段口译员。 Zbl 1191.68158号 雅克·卡雷特;奥列格·基塞利约夫;Shan，Chung-Chieh公司 16 2009 纯功能惰性非确定性编程。 Zbl 1302.68058号 塞巴斯蒂安·费舍尔;奥列格·基塞利约夫;Shan、Chung-chieh 5 2009 纯粹的、陈述性的和构造性的算术关系。（声明珍珠）。 Zbl 1137.68574号 奥列格·基塞利约夫;William E.伯德。;丹尼尔·弗里德曼（Daniel P.Friedman）。;Shan、Chung-chieh 2 2008 用于分隔延续的子结构类型系统。 Zbl 1215.68124号 奥列格·基塞利约夫;Shan、Chung-chieh 5 2007 轻量级静态功能。 Zbl 1277.68052号 奥列格·基塞利约夫;Shan、Chung-chieh 1 2007 带分隔符的动态绑定。 Zbl 1321.68128号 奥列格·基塞利约夫;Shan、Chung-chieh;萨布里，阿姆尔 5 2006 寻找一个程序生成器来实现高性能计算的通用转换。 Zbl 1100.68535号 阿尔伯特·科恩;塞巴斯蒂安·多纳迪奥;玛丽亚·加扎兰-耶稣;克里斯托夫·赫尔曼;奥列格·基塞利约夫;大卫·帕多瓦 4 2006 回溯、交错和端接单声道变压器（功能珍珠）。 Zbl 1302.68061号 奥列格·基塞利约夫;Shan、Chung-chieh;丹尼尔·弗里德曼（Daniel P.Friedman）。;阿穆尔·萨布里 11 2005 SXSLT：XML的操作语言。 Zbl 1026.68785号 奥列格·基塞利约夫;克里希纳穆提，施莱姆 1 2002 组成宏：系统宏编程。 Zbl 1028.68809号 奥列格·基塞利约夫 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名被121位作者引用 10 奥列格·基塞利约夫 6 雅克·卡雷特 5 Shan、Chung-chieh 4 Yukiyoshi县Kameyama 三 浅井，肯尼奇 三 Farmer，William M。 2 聪，又有 2 Masuda、Masahiro 2 松田和川 2 罗素·奥康纳 2 汤姆·施里杰弗斯 2 保罗·塔劳 2 范登伯格，比尔特 2 王蒙 1 纪尧姆·阿拉伊斯 1 马克西姆·安布拉德 1 塞尔吉奥·安托伊 1 川崎朝田 1 罗伯特·艾奇 1 埃米尔·阿克塞尔森 1 尼克·本顿 1 Dariusz Biernacki 1 贾斯敏·克里斯蒂安·布兰切特 1 德米特里·布里切夫 1 Brachthäuser，乔纳森·伊曼纽尔 1 伯恩德·布拉埃尔 1 卢卡斯·布尔瓦恩 1 William E.伯德。 1 陈坤 1 詹姆斯·切尼 1 简·克里斯蒂安森 1 克莱森，科恩 1 克里斯蒂娜·大卫 1 菲利普·德格罗特 1 保罗·埃米利奥·德维莱纳 1 多米尼克·德夫里塞 1 凯文·唐纳利。 1 乔纳斯·杜雷格德 1 桑德拉·戴卢斯 1 法尔卡，František 1 塞巴斯蒂安·费舍尔 1 Fluet，Matthew T。 1 丹尼尔·弗里德曼（Daniel P.Friedman）。 1 阿尔瓦罗·加西亚·佩雷斯 1 谢尔盖·冈查洛夫 1 Makoto滨那 1 凯文·哈蒙德 1 迈克尔·哈纳斯 1 大卫·哈拉伯达 1 丹尼尔·希勒斯特罗姆 1 马丁·霍夫曼 1 卡霍本田 1 伊利克、丹科 1 Imai、Keigo 1 Jun-Ichiro井上 1 石雄，恰基 1 安迪·乔斯特 1 奥哈德·卡玛 1 卡瓦塔，托鲁 1 安德鲁·肯尼迪。 1 邱小成 1 叶卡捷琳娜·科门丹茨基 1 彼得·科普曼 1 彼得·库扎诺夫 1 迈克尔·库塞拉 1 塞尔盖·伦格利特 1 林嘉茵 1 萨姆·林德利 1 刘宇大卫 1 吕贝尔斯、马特 1 玛达瓦佩迪，阿尼尔 1 麦，卡罗尔 1 马尔西克，吉尔卡 1 蒂尔·莫萨科夫斯基 1 穆申成 1 普拉文·纳拉亚南 1 约瑟夫·P·奈尔（Joseph P.Near）。 1 尼甘，维韦克 1 托比亚斯·尼普科夫 1 巴勃罗·诺盖拉 1 鲁伊·大仓 1 多米尼克·A·乌节。 1 克劳斯·奥斯特曼 1 米查·H·帕卡。 1 雨果·帕奎特 1 马尔科·帕维奥蒂 1 弗兰克·皮森斯 1 马西耶·皮罗格 1 彼得·波列修克 1 弗朗索瓦·波蒂埃 1 普雷特纳，马蒂亚 1 费比安·雷克 1 威尔默·里奇奥蒂 1 阿德里安·里斯科 1 胡安·罗德里格斯·霍塔拉 1 雷恩·罗曼诺 1 德米特里·罗兹普洛哈斯 1 约翰内斯·鲁道夫 1 阿穆尔·萨布里 1 卢茨·施罗德 …和另外21位作者 全部的 前5名12篇连载文章中引用 13 函数编程杂志 6 高阶与符号计算 三 逻辑程序设计理论与实践 三 计算机科学中的逻辑方法 2 理论计算机科学 2 计算机程序设计科学 2 计算机语言、系统和结构 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 计算机基础理论 全部的 前5名在7个字段中引用 64 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 5 范畴理论；同调代数（18-XX） 1 特殊功能（33至XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文