[aut12] Autoconf，2012。
[CKP05] Manuel M. T. Chakravarty，Gabriele Keller 和 Simon Peyton Jones。关联类型同义词。在《第十届 ACM SIGPLAN 国际函数式编程会议论文集》，ICFP'05，第 241-253 页。ACM，2005 年。
[ecl12] Eclipse 主页，2012 年。
[Ent11a] Enthought。Kiva 源代码，2011 年。
[Ent11b] Enthought。PDF 参考和 Adobe 对 PDF 规范的扩展，2011 年。
[For09] 消息传递接口论坛。《MPI：消息传递接口标准，版本 2.2》，2009 年 9 月。
[GFB+04] Edgar Gabriel，Graham E. Fagg，George Bosilca，Thara Angskun，Jack J. Dongarra，Jeffrey M. Squyres，Vishal Sahay，Prabhanjan Kambadur，Brian Barrett，Andrew Lumsdaine，Ralph H. Castain，David J. Daniel，Richard L. Graham 和 Timothy S. Woodall。Open MPI：下一代 MPI 实现的目标、概念和设计。在《第 11 届欧洲 PVM/MPI 用户组会议论文集》，第 97-104 页，2004 年 9 月。
[GGHL+96] Al Geist，William Gropp，Steve Huss-Lederman，Andrew Lumsdaine，Ewin Lusk，William Saphir，Tony Skjellum 和 Mark Snir。MPI-2：扩展消息传递接口。在《Euro-Par'96 并行处理》，第 128-135 页。施普林格出版社，1996 年。
[GLP93] A. Gill，J. Launchbury 和 S. L. Peyton Jones。通往森林化的捷径。在《ACM 函数式编程与计算机体系结构会议 (FPCA'93)》。ACM，1993 年。
[HHPW07] Paul Hudak，John Hughes，Simon Peyton Jones 和 Philip Wadler。Haskell 历史：兼具惰性和类。在《第三届 ACM SIGPLAN 编程语言历史会议论文集》，第 12-1-12-55 页。ACM，2007 年。
[Knu86] Donald E. Knuth。《计算机与排版 B：TeX：程序》。艾迪生-韦斯利，1986 年。
[Mar10] Haskell 2010 报告，2010 年。http://www.haskell.org/haskellwiki/Language_and_library_specification#The_Haskell_2010_report。
[McG07] Paul McGuire。《Pyparsing 入门》。奥莱利媒体，2007 年。
[Mes93] 消息传递接口论坛。MPI：消息传递接口。在《Proc. Supercomputing'93》，第 878-883 页。IEEE 计算机协会出版社，1993 年 11 月。
[MHJP08] Simon Marlow，Tim Harris，Roshan P. James 和 Simon Peyton Jones。具有块结构堆的并行分代复制垃圾回收。在《第七届国际内存管理研讨会论文集》，ISMM'08，第 11-20 页。ACM，2008 年。
[MPT04] Simon Marlow，Simon Peyton Jones 和 Wolfgang Thaller。使用并发扩展 Haskell 外部函数接口。在《ACM SIGPLAN Haskell 研讨会论文集》，第 57-68 页，2004 年 9 月。
[PM02] Simon Peyton Jones 和 Simon Marlow。格拉斯哥 Haskell 编译器内联器的秘密。《函数式编程杂志》，12：393-434，2002 年 7 月。
[PTH01] Simon L. Peyton Jones，Andrew Tolmach 和 Tony Hoare。按规则行事：重写作为 GHC 中一种实用的优化技术。在 Ralf Hinze 编辑的《2001 Haskell 研讨会》。ACM SIGPLAN，2001 年 9 月。
[PVWW06] Simon Peyton Jones，Dimitrios Vytiniotis，Stephanie Weirich 和 Geoffrey Washburn。GADTs 的简单基于统一的类型推断。在《第十一届 ACM SIGPLAN 国际函数式编程会议论文集》，第 50-61 页。ACM，2006 年。
[Ray] 为什么 GPS 糟糕，以及如何解决。 http://esr.ibiblio.org/?p=801。
[SCPD07] Martin Sulzmann，Manuel Chakravarty，Simon Peyton Jones 和 Kevin Donnelly。带有类型相等强制的 System F。在《ACM SIGPLAN 国际语言设计和实现中的类型研讨会 (TLDI'07)》。ACM，2007 年。
[She06] Maxim Shemanarev。抗锯齿几何：用于 C++ 的高质量渲染引擎，2002-2006 年。
[SPS+00] Richard M. Stallman，Roland Pesch，Stan Shebs 等。《使用 GDB 调试：GNU 源代码级调试器》。自由软件基金会，2000 年。