×

哈斯克尔

swMATH ID: 3521
软件作者:
描述: Haskell是一种标准化的、通用的纯函数式编程语言,具有非严格的语义和强大的静态类型。它以逻辑学家哈斯克尔·库里的名字命名。
主页: https://www.askell.org网站/
相关软件: Coq公司;毫升;GHC公司;伊莎贝尔/HOL;快速检查;莫德;阿格达;OCaml公司;米兰达;AProVE公司;清洁;HOL公司;伊莎贝尔;github;伊甸园;息肉;咖喱;蒂罗尔(Tyrolean);埃尔朗;OBJ3型
引用于: 839文件
全部的 前5名

1145位作者引用

36 西蒙·琼斯(Simon L.Peyton Jones)。
18 拉尔夫·欣泽
16 约翰·杰林
15 斯蒂芬妮,威里奇
14 Schmidt Schauß,曼弗雷德
12 萨尔瓦多卢卡斯
12 何塞·梅塞盖尔·瓜伊塔
11 杰里米·吉本斯
11 大卫·萨贝尔
11 汤姆·施里杰弗斯
10 Manuel M.T.查克拉瓦蒂。
10 塞巴斯蒂安·费舍尔
10 格雷厄姆·赫顿
10 安德烈斯·洛赫
10 Vytiniotis,迪米特里奥斯
9 Keller、Gabriele Cornelia
9 卢茨·施罗德
9 马丁·苏尔兹曼
8 谢尔盖·冈查洛夫
8 迈克尔·哈纳斯
8 沃特·斯威斯特拉
7 帕特里克·简森
7 拉尔夫·拉梅尔
7 西蒙·马洛
7 里卡多·佩纳
7 雷内·蒂曼
7 Janis Voigtlander公司
6 奥拉夫·奇蒂尔
6 科恩·克莱森
6 理查德·艾森伯格。
6 吉尔根·吉斯尔
6 胡镇江
6 弗兰克,哈
6 沃尔夫拉姆·卡尔
6 康诺·托马斯·麦克布莱德
6 托比亚斯·尼普科
6 费尔南多·鲁比奥
6 阿穆尔·萨布里
6 斯威斯特拉,S.多伊茨
6 保罗·塔劳
6 菲尔·特林德。
6 范·艾伊克(Jan van Eijck)
5 托尔斯滕·阿滕柯奇
5 鲁道夫·伯哈默
5 德里克·德雷尔(Derek R.Dreyer)。
5 圣地亚哥埃斯科瓦尔
5 马克·琼斯。
5 丽塔·勒根
5 蒂尔·莫萨科夫斯基
5 布鲁诺·C·d·S·奥利维拉。
5 戈登·普洛金(Gordon D.Plotkin)。
5 科林·伦西曼
5 彼得·施奈德·坎普
5 彼得·蒂曼。
4 玛丽亚·阿尔普特
4 塞尔吉奥·安托伊
4 泽纳·M·阿里奥拉。
4 马西耶·本德考斯基
4 埃德温·布雷迪(Edwin C.Brady)。
4 约尔格恩德鲁利斯
4 卡斯滕·福斯
4 尼尔·加尼
4 马科托·哈马纳
4 威廉·哈里森。
4 巴斯蒂安·希伦
4 毛罗·贾斯克利奥夫
4 帕特里夏·约翰
4 奥列格·基塞利约夫
4 扬·威廉·克鲁普
4 何塞·佩德罗·马加莱斯
4 Ryan R.牛顿。
4 亨利克·尼尔森
4 何塞·努诺·奥利维拉
4 尤兰达奥尔特加购物中心
4 阿恩·兰塔
4 格里高·罗什乌
4 安东·塞泽尔
4 克里斯蒂安·斯特纳格尔
4 Masato武一
4 西蒙·汤普森。
4 塔尔莫乌斯塔卢
4 德国维达尔
4 马克·威尔顿。
4 尼古拉斯·吴
安德烈亚斯·阿贝尔(Andreas M.Abel)。
彼得·阿奇顿
艾尔维拉·阿尔伯特
埃里克·巴杜埃尔
尼克·本顿
乌尔里希·伯杰
理查德·伯德(Richard S.Bird)。
拉尔斯·比克达尔
安娜·波夫
安德鲁·巴特菲尔德
魏恩根·钦
简·克里斯蒂安森
尼基塔·达尼连科
奥利维尔·丹维
阿尔贝托·德拉·恩西纳
罗德·德弗里杰尔
…还有1045名作者
全部的 前5名

96篇连载文章中引用

106 函数编程杂志
40 理论计算机科学
24 高阶和符号计算
17 计算的形式方面
17 计算机科学中的逻辑方法
16 计算机程序设计科学
14 MSCS公司。计算机科学中的数学结构
12 信息与计算
11 程序设计中的逻辑和代数方法杂志
6 信息处理信件
6 自动推理杂志
5 信息学报
5 符号计算杂志
5 RAIRO公司。理论信息学及其应用
5 逻辑与代数程序设计杂志
5 逻辑程序设计理论与实践
5 计算机科学课堂讲稿
4 纯逻辑与应用逻辑年鉴
4 计算机语言、系统和结构
4 理论计算机科学电子笔记
信息科学
编程和计算机软件
国际并行程序设计杂志
逻辑与计算杂志
计算机基础理论
计算中的文本
2 应用数学与计算
2 软件。实践与经验
2 布达佩斯科学大学年鉴(Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös提名)。计算机科
2 计算机科学与技术杂志
2 新一代计算
2 工程、通信和计算中的应用代数
2 系统设计中的形式化方法
2 IGPL逻辑杂志
2 算法
2 科学研究。数学与信息学系列
1 美国数学月刊
1 计算机与数学及其应用
1 计算机物理通信
1 剑桥哲学学会数学进展杂志
1 德国汽车制造商(DMV)
1 ACM数据库系统事务
1 波兰科学院公报。技术科学
1 控制论学报
1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司
1 计算机与系统科学杂志
1 伦敦数学学会杂志。第二系列
1 数学心理学杂志
1 模拟中的数学和计算机
1 合成
1 并行计算
1 离散和计算几何
1 国际近似推理杂志
1 运筹学年鉴
1 国际计算机科学基础杂志
1 超级计算杂志
1 国际计算机数学杂志
1 实验数学
1 组合数学、概率论和计算
1 土耳其数学杂志
1 组合数学电子杂志
1 符号逻辑公报
1 Anale tiințifice ale University \539'ii Al.I.Cuza din IașI。努瓦里。信息化
1 数学与人工智能年鉴
1 美国计算机学会模型和计算机仿真汇刊
1 约束条件
1 Informatica(卢布尔雅那)
1 计算系统理论
1 欧洲应用和工业数学系列(ESAIM):控制、优化和变分计算
1 Novi Sad数学杂志
1 Studiiși CercetăriȘtiințfice研究。意大利语:Matematic
1 组合年刊
1 维斯尼克。塞里亚:Fizyko-Matematychni Nauky。基夫斯基伊梅尼塔拉萨舍甫琴卡大学
1 LMS计算与数学杂志
1 洛巴切夫斯基数学杂志
1 通用计算机科学杂志
1 计算与信息学
1 萨达纳
1 ACM计算逻辑事务
1 离散算法杂志
1 应用逻辑杂志
1 国际数学与计算机科学杂志
1 剑桥计算机科学教材
1 计算机科学中的数学
1 非线性分析。混合动力系统
1 计算机科学科学年鉴
1 Vestnik Sankt-Peterburgskogo大学。塞里亚10。Prikladnana Matematika、Informatika、Protsessy Upravleniya
1 《大学学报》。Informatica公司
1 形式化推理杂志
1 数学工业杂志
1 Logique et d’epistémologie餐厅
1 ISRN代数
1 可计算性
1 计算机科学评论
1 DISKI公司。论文en zur Künstlichen Intelligenz
1 代数组合论

按年份列出的引文