编辑配置文件（在新选项卡中打开） 尼基·瓦祖 合著者距离 作者ID： 瓦佐·尼基 发布日期： 尼基·瓦祖 已编制索引的文档： 4出版物自2013年以来 合著者： 10位合著者具有4联合出版物 137位合作作者 全部的 前5名合著者 0 单作者的 三 兰吉特·贾拉 1 亚历山大·巴克斯特 1 奥斯汀Bourgerie 1 杰弗里·福斯特。 1 米洛德·卡泽鲁尼安 1 西蒙·琼斯（Simon L.Peyton Jones）。 1 帕特里克·马克西姆·隆顿 1 埃里克·塞德尔。 1 埃米娜·托拉克 1 Vytiniotis，迪米特里奥斯 系列 字段 4 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用19中的次12文件 引用人▼ 年份▼ Haskell的优化类型。 兹比尔1345.68080 尼基·瓦祖;埃里克·塞德尔。;兰吉特·贾拉;Vytiniotis，迪米特里奥斯;佩顿·琼斯，西蒙 11 2014 抽象优化类型。 Zbl 1381.68038号 尼基·瓦祖;Patrick M.隆登。;兰吉特·贾拉 6 2013 Ruby的优化类型。 Zbl 1446.68032号 米洛德·卡泽鲁尼安;尼基·瓦祖;奥斯汀Bourgerie;杰弗里·福斯特。;埃米娜·托拉克 1 2018 边界优化类型。 Zbl 1360.68343号 尼基·瓦祖;亚历山大·巴克斯特;兰吉特·贾拉 1 2015 Ruby的优化类型。 Zbl 1446.68032号 米洛德·卡泽鲁尼安;尼基·瓦祖;奥斯汀Bourgerie;杰弗里·福斯特。;埃米娜·托拉克 1 2018 边界优化类型。 Zbl 1360.68343号 尼基·瓦祖;亚历山大·巴克斯特;兰吉特·贾拉 1 2015 Haskell的优化类型。 Zbl 1345.68080号 尼基·瓦祖;埃里克·塞德尔。;兰吉特·贾拉;Vytiniotis，迪米特里奥斯;佩顿·琼斯，西蒙 11 2014 抽象细化类型。 Zbl 1381.68038号 尼基·瓦祖;Patrick M.隆登。;兰吉特·贾拉 6 2013 所有引用的出版物 前5名被引用出版物 全部的 前5名31位作者引用 三 小林直树 2 佐藤隆介 1 大卫·安科纳 1 拉斯蒂斯拉夫·博迪克 1 约阿希姆·布雷特纳 1 朱塞佩·卡斯塔尼亚 1 乔舒亚·科恩。 1 乔舒亚·邓菲尔德 1 格里戈里·费迪尤科维奇 1 Atsushi Igarashi 1 吉勒姆·贾伯 1 兰吉特·贾拉 1 塞缪尔·考夫曼。 1 维克多·昆卡 1 佐藤库拉 1 李、姚 1 Ryoya Mukai 1 阮，Phüc c。 1 托马索·彼得鲁契亚尼 1 罗德里戈·拉亚 1 科林·里巴 1 克里斯汀·里兹卡拉 1 任思奇 1 Spector-Zabusky，安塔尔 1 Kohei Suenaga公司 1 萨姆·托宾·霍施塔特 1 约翰·托曼 1 David A.VanHorn。 1 斯蒂芬妮·威里奇 1 约翰·威格利 1 埃琳娜·祖卡 3篇连载文章中引用 2 函数编程杂志 1 系统设计中的形式化方法 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 12 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文