编辑配置文件（在新选项卡中打开） 尼拉坎坦·R·克里希纳斯瓦米。 合著者距离 作者ID： 克里希纳斯瓦米·奈拉坎坦 发布日期： 尼拉坎坦·R·克里希纳斯瓦米。;尼拉坎坦克里希纳斯瓦米 外部链接： MGP公司 已编制索引的文档： 13出版物自2009年起 1作为编辑的贡献 合著者： 14合著者具有12联合出版物 218合著作者 全部的 前5名合著者 2 单作者的 4 尼克·本顿 4 德雷尔，德里克·R。 2 阿列克桑达尔·纳内夫斯基 2 亚伦·约瑟夫·图伦 2 维克托·瓦菲亚迪斯 2 贝塔·齐利安尼 1 迈克尔·阿恩特泽尼乌斯 1 罗伯特·艾奇 1 乔舒亚·邓菲尔德 1 迪帕克·加格 1 霍夫曼，简·菲利普 1 库珀，林赛 1 Ryan R.牛顿。 1 皮埃尔·普拉迪奇 系列 1 函数编程杂志 1 理论计算机科学电子论文集（EPTCS） 领域 14 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用56次48文件 引用人▼ 年份▼ 集成线性类型和依赖类型。 Zbl 1345.68109号 尼拉坎坦·R·克里希纳斯瓦米。;皮埃尔·普拉迪奇;尼克·本顿 8 2015 无时空泄漏的高阶函数反应式编程。 Zbl 1323.68128号 尼拉坎坦·R·克里希纳斯瓦米。 7 2013 在结构的可拓演算中内化关系参数。 Zbl 1356.68043号 尼拉坎坦·R·克里希纳斯瓦米。;德雷克·德雷尔 7 2013 有界空间中的高阶函数反应规划。 Zbl 1321.68171号 尼拉坎坦·R·克里希纳斯瓦米。;尼克·本顿;简·霍夫曼 6 2012 Mtac：Coq中类型化战术编程的monad。 Zbl 1323.68236号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 6 2013 完整且简单的双向类型检查，用于更高等级的多态性。 Zbl 1323.68204号 乔舒亚·邓菲尔德;尼拉坎坦·R·克里希纳斯瓦米。 6 2013 图形用户界面的语义模型。 Zbl 1323.68129号 尼拉坎坦·R·克里希纳斯瓦米。;尼克·本顿 5 2011 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1420.68189号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 三 2015 专注于模式匹配。 Zbl 1315.68100号 尼拉坎坦·R·克里希纳斯瓦米。 2 2009 表面上的子结构类型。 Zbl 1291.68146号 尼拉坎坦·R·克里希纳斯瓦米。;亚伦·图伦;德雷克·德雷尔;迪帕克·加格 2 2012 写后冻结，使用LVars进行准确定性并行编程。 Zbl 1284.68143号 库珀，林赛;亚伦·图伦;尼拉坎坦·R·克里希纳斯瓦米。;Ryan R.牛顿。 2 2014 向系统F类型添加方程式。 Zbl 1352.68044号 尼拉坎坦·R·克里希纳斯瓦米。;尼克·本顿 1 2012 Datafun：功能性数据日志。 Zbl 1360.68312号 迈克尔·阿恩特泽尼乌斯;尼拉坎坦·R·克里希纳斯瓦米。 1 2016 Datafun：功能性数据日志。 Zbl 1360.68312号 迈克尔·阿恩特泽尼乌斯;尼拉坎坦·R·克里希纳斯瓦米。 1 2016 集成线性类型和依赖类型。 Zbl 1345.68109号 尼拉坎坦·R·克里希纳斯瓦米。;皮埃尔·普拉迪奇;尼克·本顿 8 2015 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1420.68189号 贝塔·齐利安尼;德雷尔，德里克;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 三 2015 写后冻结，LVar准确定性并行编程。 Zbl 1284.68143号 库珀，林赛;亚伦·图伦;尼拉坎坦·R·克里希纳斯瓦米。;Ryan R.牛顿。 2 2014 无时空泄漏的高阶函数反应式编程。 Zbl 1323.68128号 尼拉坎坦·R·克里希纳斯瓦米。 7 2013 在结构的可拓演算中内化关系参数。 Zbl 1356.68043号 尼拉坎坦·R·克里希纳斯瓦米。;德雷克·德雷尔 7 2013 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1323.68236号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 6 2013 完整且简单的双向类型检查，用于更高等级的多态性。 兹比尔1323.68204 乔舒亚·邓菲尔德;尼拉坎坦·R·克里希纳斯瓦米。 6 2013 有界空间中的高阶函数反应规划。 Zbl 1321.68171号 尼拉坎坦·R·克里希纳斯瓦米。;尼克·本顿;简·霍夫曼 6 2012 表面上的子结构类型。 Zbl 1291.68146号 尼拉坎坦·R·克里希纳斯瓦米。;亚伦·图伦;德雷克·德雷尔;迪帕克·加格 2 2012 向系统F类型添加方程式。 Zbl 1352.68044号 尼拉坎坦·R·克里希纳斯瓦米。;尼克·本顿 1 2012 图形用户界面的语义模型。 Zbl 1323.68129号 尼拉坎坦·R·克里希纳斯瓦米。;尼克·本顿 5 2011 专注于模式匹配。 Zbl 1315.68100号 尼拉坎坦·R·克里希纳斯瓦米。 2 2009 所有引用出版物 前5名被引用出版物 全部的 前5名102位作者引用 三 拉尔斯·比克达尔 三 尼尔·加尼 2 丹尼尔·艾哈曼 2 阿列舍·比兹亚克 2 拉纳德·A·克鲁斯顿。 2 德里克·德雷尔（Derek R.Dreyer）。 2 塔德乌什·利塔克 2 格雷戈里·马莱查 2 康诺·托马斯·麦克布莱德 2 弗雷德里克·诺德瓦尔·福斯伯格 2 汤姆·施里杰弗斯 2 保拉·加布里埃拉·塞维利 2 索索、马蒂厄 2 阿伦·斯塔姆 2 贝塔·齐利安尼 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 华金·阿瓜多 1 哈米达桑·艾哈迈德。 1 阿南德，阿比舍克 1 帕特里克·巴尔 1 杰斯珀·本特森 1 Jean-Philippe Bernardy 1 西蒙·博利埃 1 埃德温·布雷迪（Edwin C.Brady）。 1 路易斯·凯雷斯 1 埃文·卡瓦洛 1 杰斯珀·考克斯 1 西里尔·科恩 1 卢卡斯修道院 1 可口、蒂埃里 1 罗伊·克罗。 1 瓦莱里亚·德·佩瓦 1 乔舒亚·邓菲尔德 1 哈雷III伊德斯 1 理查德·艾森伯格。 1 雅各布·埃林顿 1 扬尼克·福斯特 1 傅鹏 1 Insa Fuhrmann公司 1 藤田，健毅 1 汉斯·布格·格雷斯沃尔 1 克里斯蒂安·乌尔达尔 1 尤里安·黑格 1 罗伯特·哈珀 1 吉勒姆·贾伯 1 张俊英 1 沃尔夫冈·杰利奇 1 雅克·亨利·乔尔丹 1 荣格，拉尔夫 1 卡夫沃斯，G.A。 1 Kohei的Kishida 1 佩皮因·科克 1 罗伯特·克雷伯斯 1 内尔·克里希纳斯瓦米 1 尼拉坎坦·R·克里希纳斯瓦米。 1 费边·昆泽 1 丹尼尔·李卡塔（Daniel R.Licata）。 1 萨姆·林德利 1 帕特里克·梅尔 1 康斯坦蒂诺斯·马穆拉斯 1 巴赛尔·曼纳 1 科尔·马丁罗西安 1 丹尼尔·马提库克 1 克雷格·麦克劳林。 1 迈克尔·门德勒 1 莫格尔贝里，拉斯穆斯·埃杰勒斯 1 本杰明·穆恩 1 吉尔亨·穆林 1 托比·默里 1 阿列克桑达尔·纳内夫斯基 1 弗兰克·内贝尔 1 新，Max S。 1 布鲁诺·C·d·S·奥利维拉。 1 多米尼克·A·乌节。 1 费德里科·奥尔萨尼戈 1 佩雷斯（Jorge A.Pérez）。 1 碧姬·品特卡 1 安德鲁·M·皮茨。 1 戈登·普洛金（Gordon D.Plotkin）。 1 科林·里巴 1 艾克·里特 1 阿列克西·舒伯特 1 Šefl，维特 1 彼得·塞林格 1 亚历杭德罗·塞拉诺 1 西蒙斯（Robert jun Simmons）。 1 亚历克斯·K·辛普森。 1 弗兰克·斯拉玛 1 溅出物，Bas 1 托马斯·斯沃博达 1 沃特·斯威斯特拉 1 Dmitrij，Szamozvancev 1 尼古拉斯·塔巴鲁 1 菲尔·特林德。 1 维克托·瓦菲亚迪斯 1 伯特·范登伯格 1 阿尔伯特·维瑟 1 冯·汉克斯利登，莱因哈德 1 菲利普·李·沃德勒 1 斯蒂芬妮·威里奇 …还有另外两位作者 全部的 前5名11篇连载文章中引用 9 函数编程杂志 5 计算机科学中的逻辑方法 2 自动推理杂志 1 信息学报 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 Indagationes Mathematicae公司。新系列 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 39 计算机科学（68至XX） 26 数学逻辑和基础（03-XX） 5 范畴理论；同调代数（18-XX） 1 量子理论（81-XX） 按年份列出的引文