编辑配置文件(在新选项卡中打开) 克劳迪奥·拉索五世。 合著者距离 作者ID: 俄罗斯·克劳迪奥v 发布日期: 克劳迪奥·拉索 已编制索引的文档: 14出版物自2000年以来,包括1本书 合著者: 14合著者具有6联合出版物 179位Co-Co作者 全部的 前5名合著者 4 单作者的 6 约翰·博格斯特罗姆 6 安德鲁·戈登。 三 索尔·格雷佩尔 2 苏拉吉·巴特 2 罗兰,尼古拉斯 2 马钦·西姆扎克 1 米哈伊尔·艾扎图林 1 加文·比尔曼。 1 玛丽亚尔·保拉·布雷夏莱 1 加布里埃拉·布雷蒂 1 亚历山德拉·布罗吉 1 毛里齐奥·塞塞里 1 红葡萄酒、纪尧姆 1 德里克·德雷尔(Derek R.Dreyer)。 1 约翰·吉尔弗(John P.Guiver)。 1 马洛基,A。 1 罗伯托·纳塔里尼 1 阿迪蒂亚·维塔尔·诺里 1 欧阳、龙 1 安德鲁·皮特斯(Andrew M.Pitts)。 1 Rajamani,Sriram K。 1 约翰·H·Reppy。 1 安德烈亚斯·罗斯伯格 1 亚当·西比奥 1 丹尼尔·塔洛 1 肖英奇 系列 1 应用数学建模 1 北欧计算机杂志 1 函数编程杂志 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 领域 13 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 统计学(62-XX) 1 流体力学(76-XX) 1 经典热力学,传热(80-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用8次8文件 引用人▼ 年份▼ F-ing模块。 Zbl 1322.68048号 安德烈亚斯·罗斯伯格;克劳迪奥·拉索;德雷克·德雷尔 7 2014 的操作属性莉莉,一个带递归的多态线性lambda演算。 Zbl 1262.68099号 G.M.比尔曼。;A.M.皮特斯。;俄罗斯,哥伦比亚。 7 2001 标准ML的递归结构。 Zbl 1323.68153号 克劳迪奥·拉索五世。 三 2001 从概率函数程序中导出概率密度函数。 Zbl 1398.68084号 苏拉吉·巴特;约翰·博格斯特罗姆;安德鲁·戈登。;克劳迪奥·拉索 三 2017 模块的类型。 Zbl 1266.68086号 克劳迪奥·拉索五世。 三 2004 贝叶斯推理的模型学习模式。 兹比尔1301.68179 安德鲁·戈登。;米哈伊尔·艾扎图林;约翰内斯·博格斯特罗姆;纪尧姆Claret;索尔·格雷佩尔;阿迪蒂亚·诺里。;Rajamani,Sriram K。;克劳迪奥·拉索 2 2013 并行并发ML。 Zbl 1302.68081号 约翰·雷皮;克劳迪奥·拉索五世。;肖英奇 2 2009 标准ML的一流结构。 Zbl 0971.68599号 克劳迪奥·拉索五世。 2 2000 标准ML的一流结构。 Zbl 0970.68025号 克劳迪奥·拉索五世。 2 2000 表格,一种模式驱动的概率编程语言。 Zbl 1284.68103号 安德鲁·戈登。;索尔·格雷佩尔;尼古拉斯·罗兰;克劳迪奥·拉索;约翰内斯·博格斯特罗姆;约翰·吉尔弗 2 2014 从概率函数程序中导出概率密度函数。 Zbl 1381.68030号 苏拉吉·巴特;约翰·博格斯特罗姆;安德鲁·戈登。;克劳迪奥·拉索 1 2013 从概率函数程序中导出概率密度函数。 Zbl 1398.68084号 苏拉吉·巴特;约翰·博格斯特罗姆;安德鲁·戈登。;克劳迪奥·拉索 三 2017 F-ing模块。 Zbl 1322.68048号 安德烈亚斯·罗斯伯格;克劳迪奥·拉索;德雷克·德雷尔 7 2014 表格,一种模式驱动的概率编程语言。 Zbl 1284.68103号 安德鲁·戈登。;索尔·格雷佩尔;罗兰,尼古拉斯;克劳迪奥·拉索;约翰内斯·博格斯特罗姆;约翰·吉尔弗 2 2014 贝叶斯推理的模型学习器模式。 Zbl 1301.68179号 安德鲁·戈登。;米哈伊尔·艾扎图林;约翰内斯·伯格斯特罗姆;红葡萄酒、纪尧姆;索尔·格雷佩尔;阿迪蒂亚·诺里。;Rajamani,Sriram K。;克劳迪奥·拉索 2 2013 从概率函数程序中导出概率密度函数。 Zbl 1381.68030号 苏拉吉·巴特;约翰·博格斯特罗姆;安德鲁·戈登。;克劳迪奥·拉索 1 2013 并行并行ML。 Zbl 1302.68081号 约翰·雷皮;克劳迪奥·拉索五世。;肖英奇 2 2009 模块的类型。 Zbl 1266.68086号 克劳迪奥·拉索五世。 三 2004 的操作属性莉莉,一个带递归的多态线性lambda演算。 Zbl 1262.68099号 G.M.比尔曼。;A.M.皮特斯。;俄罗斯,哥伦比亚。 7 2001 标准ML的递归结构。 Zbl 1323.68153号 克劳迪奥·拉索五世。 三 2001 标准ML的一流结构。 Zbl 0971.68599号 克劳迪奥·拉索五世。 2 2000 标准ML的一流结构。 Zbl 0970.68025号 克劳迪奥·拉索五世。 2 2000 所有引用出版物 前5名被引用出版物 全部的 前5名28位作者引用 三 Joost-Pieter卡托恩 2 弗里德里希·格雷茨 2 尼尔斯·詹森 2 本杰明·卢西恩·卡明斯基 2 费德里科·奥利梅多 1 埃齐奥·巴托西 1 约翰内斯·伯格斯特伦 1 大卫·布罗曼 1 埃夫斯塔提亚·布拉 1 克里希南德·查特吉 1 陈明帅 1 戈哈尔沙迪,埃桑·卡夫什达尔 1 艾哈迈德·卡里米 1 卢茨·克林肯伯格 1 科瓦奇,劳拉·伊尔迪科 1 劳雷尔,雅各布 1 丹尼尔·隆德 1 马克·卡罗尔 1 Annabelle K.McIver。 1 萨萨·米塞洛维奇 1 马塞尔·穆斯布鲁克 1 诺沃顿,皮特 1 雨果·帕奎特 1 米罗斯拉夫斯坦科维奇 1 多米尼克·瓦格纳 1 托拜厄斯·温克勒 1 扎里沃基,基尼 1 朱伊凯利奇,{D} 或{d} e(电子) 0连载引用 在1个字段中引用 8 计算机科学(68至XX) 按年份列出的引文