语言和库规范
哈斯克尔2010年报告
在线阅读: 哈斯克尔2010年报告 PDF格式 [1368K] HTML格式 (tar+gzip)[336K]
Haskell 98报告
Haskell 98报告(修订版) HTML格式 (tar+gzip)[202K] 后记 (gzip)[330K] PDF格式 [82万] PDF格式 (gzip)[65K] 将报告全文翻译成俄语 Haskell的语法图 Jeroen Fokker著。 随附文本是荷兰语,但语法图在任何语言中都清晰可见。 Haskell 98语法超链接 作者:Peter Hercek。
报告增编
外部函数接口 (外国金融机构)
语言的未来修订
相关工作
语言。 哈斯克尔 Haskell的lexer、解析器和漂亮的打印机,可从Haskell-src库中获得
[1] Twelf中的核心语言操作语义。
[2] 核心语言的空间语义。 亚当·贝克韦尔。 程序。 2000年Haskell研讨会。 2001年9月。
在Coq中验证的STG机器的系统推导 Pirog和Dariusz Biernacki,2010年
STG机器型号 正式验证STG机器
哈斯克尔的历史发展
原始Haskell 98报告 原始Haskell 98库报告 Haskell 1.4报告 Haskell 1.4库报告 Haskell 1.3报告(1996年5月) 后记 (gzip)[140页,225 K] 1.2的变化 将程序从Haskell 1.2转换为1.3的简短指南
Haskell 1.2报告(1992年3月) 后记 (gzip)[176页,230 K]
Haskell 1.1报告 原始码 (gzip)[469 K]
Haskell 1.0报告
Haskell的静态语义 Simon Peyton Jones和Philip Wadler,未出版技术报告,格拉斯哥大学,1991年,49页。
Haskell的动态语义(草案) Kevin Hammond和Cordelia Hall,格拉斯哥大学,1992年,23页。