摘要
S.Carr、C.Ding和P.Swany。 通过展开和阻塞改进软件流水线。 在夏威夷举行的系统科学国际会议。 IEEE计算机协会，1996年。 谷歌学者 
数字图书馆 
M.M.T.Chakravarty、G.Keller、S.L.Peyton Jones和S.Marlow。 与类关联的类型。 在POPL中：编程语言原理。 ACM，2005年。 谷歌学者 数字图书馆 Coq.公司。 Coq Proof Assistant参考手册第8.3版，2012年。 统一资源定位地址 http://coq.inia.fr。 谷歌学者 D.J.Jr.、S.Marlow和S.Singh。 Haskell的并行性能调优。 在哈斯克尔研讨会上。 ACM，2009年。 谷歌学者 数字图书馆 G.Keller、M.M.T.Chakravarty、R.Leshchinskiy、S.L.Peyton Jones和B.Lippmeier。 Haskell中的规则、形状多态、平行阵列。 在ICFP：函数编程国际会议。 ACM，2010年。 谷歌学者 数字图书馆 T.Y.Lee、C.S.Raghavendra和J.B.Nicholas。 并行处理器上光线跟踪负载平衡策略的实验评估。 ICPP：并行处理国际会议。 IEEE，1994年。 谷歌学者 数字图书馆 C.Li、C.Ding和K.Shen。 量化上下文切换的成本。 在实验计算机科学研讨会上。 ACM，2007年。 谷歌学者 数字图书馆 B.利普梅耶和G.凯勒。 Haskell中的高效并行模板卷积。 在哈斯克尔研讨会上。 ACM，2011年。 谷歌学者 数字图书馆 S.Marlow、A.R.Yakushev和S.L.Peyton Jones。 使用动态指针标记加快懒惰。 在ICFP：函数编程国际会议。 ACM，2007年。 谷歌学者 数字图书馆 U.诺雷尔。 Agda中的依赖类型编程。 TLDI：语言设计与实现中的类型。 ACM，2009年。 谷歌学者 数字图书馆 S.L.Peyton Jones、W.Partain和A.Santos。 Let-floating：移动绑定以提供更快的程序。 在ICFP：功能编程国际会议。 ACM，1996年。 谷歌学者 数字图书馆 S.L.Peyton Jones、A.Tolmach和T.Hoare。 按规则行事：重写是GHC中一种实用的优化技术。 在Haskell Workshop。 ACM，2001年。 谷歌学者 J.Reynders、J.C.Cummings、P.J.Hinker、M.Tholburn、S.Banerjee、M.Srikant、S.Karmesin、S.Atlas、S.Keahey和W.F.Humphrey。 Pooma：并行体系结构科学仿真框架。 在使用C++的并行编程中。 麻省理工学院出版社，1996年。 谷歌学者 B.K.Rosen、M.N.Wegman和F.K.Zadeck。 全局值数字和冗余计算。 在POPL中：编程语言原理。 ACM，1988年。 谷歌学者 数字图书馆 J.Salmon和J.Goldsmith。 超立方体光线跟踪器。 在超立方体并发计算机和应用中，C3P。 ACM，1988年。 谷歌学者 数字图书馆 M.Snyder和P.Alexander。 Monad工厂：类型诱导的Monad。 函数编程趋势。 施普林格，2010年。 谷歌学者 数字图书馆 T.Sorokina和F.Zeilfelder。 立方CS的局部准内插 1 6型四面体分区上的样条曲线。 IMA数值分析杂志，27（1），2007。 谷歌学者 交叉引用 
J.斯坦姆。 稳定的流体。 SIGGRAPH，1999年。 谷歌学者 数字图书馆
建议
嵌入式GPU内核编程语言中的表达数组结构 DAMP’12：关于多核编程的声明方面和应用的第七次研讨会会议记录 图形处理单元（GPU）是功能强大的计算设备，随着CUDA/OpenCL的出现，它对通用计算变得非常有用。 Obsidian是一种嵌入式领域特定语言，它从函数。。。 Haskell中的规则、形状多态、并行数组 ICFP’10年 我们在Haskell中提出了一种处理规则多维数组的新方法。 我们的方法的主要亮点是：（1）它是纯功能的，（2）通过形状多态性支持重用，（3）避免不必要的中间结构，而不是。。。
