摘要
S.Abramsky，《懒惰的lambda微积分》 函数式程序设计研究课题 艾迪森·韦斯利，1990年，第65-116页。 谷歌学者 
数字图书馆 
H.C.Baker，Jr.和C.Hewitt，“进程的增量垃圾收集”，in 人工智能和编程语言专题讨论会 ACM，1977年，第55-59页。 谷歌学者 数字图书馆 A.Carayol、D.Hirschkoff和D.Sangiorgi，“关于麦卡锡的琥珀在像素中的表现” 理论。 计算。 科学。 第330卷，第3期，第439-473页，2005年。 谷歌学者 数字图书馆 R.De Nicola和M.Hennessy，“过程等效性测试” 理论。 计算。 科学。 第34卷，第83-133页，1984年。 谷歌学者 R.H.Halstead，Jr.，“Multilisp:并发符号计算语言” ACM事务处理。 程序。 语言系统。 第7卷，第501-538页，1985年。 谷歌学者 数字图书馆 D.Howe，“惰性计算系统中的平等”，in LICS’89年 ，IEEE出版社，1989年，第198-203页。 谷歌学者 数字图书馆 D.Howe，“证明函数式编程语言中的互模拟一致性” 通知。 和计算。 第124卷，第2期，第103-112页，1996年。 谷歌学者 数字图书馆 P.Johann和J.Voigtländer，“seq对基于自由理论的程序转换的影响” 基金。 通知。 2006年，第69卷，第1-2期，第63-102页。 谷歌学者 数字图书馆 O.Kiselyov，“懒惰的IO打破纯洁”，2009年，Haskell Mailinglist， http://haskell.org/pipermail/haskell/2009-March/021064.html。 谷歌学者 S.Marlow、S.L.P.Jones、A.Moran和J.H.Reppy，“haskell中的异步异常”，in PLDI公司 2001年，第274-285页。 谷歌学者 数字图书馆 R.Milner， 通信和移动系统：微积分 剑桥大学出版社，1999年。 谷歌学者 数字图书馆 K.Nakata和M.Hasegawa，“呼叫需求的小步和大步语义” J.功能。 程序。 第19卷，第699-722页，2009年。 谷歌学者 数字图书馆 J.Niehren、D.Sabel、M.Schmidt-Schauß和J.Schwinghammer，“带有参考细胞和未来的并发lambda演算的观察语义” 电子。 注释Theor。 计算。 科学。 第173卷，第313-337页，2007年。 谷歌学者 数字图书馆 J.Niehren、J.Schwinghammer和G.Smolka，“与期货并行的lambda演算” 理论。 计算。 科学。 2006年，第364卷，第3期，第338-356页。 谷歌学者 数字图书馆 S.Peyton Jones、A.Gordon和S.Finne，“Concurrent Haskell”，摘自 96年流行 ACM，1996年，第295-308页。 谷歌学者 数字图书馆 S.Peyton Jones，“应对笨拙的团队：Haskell中的单数输入/输出、并发、异常和外语调用” 软件构建工程理论 IOS-Press，2001年，第47-96页。 谷歌学者 S.Peyton Jones， Haskell 98语言和库：修订报告 剑桥大学出版社，2003年。 谷歌学者 S.Peyton Jones和S.Singh，“haskell中并行和并发编程教程”，in 法新社08年 施普林格出版社，2009年，第267-305页。 谷歌学者 数字图书馆 S.Peyton Jones和P.Wadler，“强制函数编程”，in 93年流行 ACM，1993年，第71-84页。 谷歌学者 数字图书馆 A.M.Pitts，“Howe的高阶语言方法”，in 互模拟和共聚高级主题 剑桥大学出版社，2011年，第52卷，第197-232页。 谷歌学者 A.Rensink和W.Vogler，“公平测试” 通知。 和计算。 ，第205卷，第2期，第125-1982007页。 谷歌学者 数字图书馆 D.Sabel和M.Schmidt Schauß，“具有局部底部回避选择的按需调用lambda演算：上下文引理和变换的正确性，” 数学。 结构计算。 科学。 2008年，第18卷，第03期，第501-553页。 谷歌学者 数字图书馆 D.Sabel和M.Schmidt-Schauß，《Concurrent Haskell with futures的上下文语义》 2011年PPDP ACM，2011年，第101-112页。 谷歌学者 数字图书馆 D.Sabel和M.Schmidt-Schauß，“Concurrent Haskell的保守性”，Inst.f.Informatik，Goethe-Universität Frankfurt am Main，Frank报告472012，http://www.ki.cs.uni-Frankfurt.de/papers/Frank/。 谷歌学者 D.Sangiorgi和D.Walker， 微积分：移动过程理论 剑桥大学出版社，2001年。 谷歌学者 数字图书馆 M.Schmidt-Schauß和D.Sabel，“语境对等的可能、应该和必须收敛的闭包” 通知。 过程。 莱特。 2010年，第110卷，第6期，第232-235页。 谷歌学者 数字图书馆 M.Schmidt-Schauß、M.Schütz和D.Sabel，“诺克严格性分析的安全性” J.功能。 编程 2008年，第18卷，第04期，第503-551页。 谷歌学者 数字图书馆 P.Sestoft，“派生懒惰的抽象机器” J.功能。 编程 1997年，第7卷，第3期，第231-264页。 谷歌学者 数字图书馆 H.Söndergaard和P.Sestoft，“参照透明度、确定性和可展开性” “Acta Inform。 第27卷，第505-517页，1989年。 谷歌学者 数字图书馆 P.Wadler，《函数编程的单子》，in 法新社'95 .LNCS 925。 施普林格，1995年，第24-52页。 谷歌学者 数字图书馆
建议
并发Haskell与futures的上下文语义 PPDP’11：第13届ACM SIGPLAN声明性编程原则和实践国际研讨会会议记录 在本文中，我们分析了具有并发线程、一元IO和同步变量的高阶函数语言的语义，如concurrent Haskell中所述。 为了确保并发编程的声明性，我们通过隐式，。。。 DéjáFu：Haskell的并发测试库 Haskell’15：2015年ACM SIGPLAN哈斯克尔研讨会会议记录 系统并发测试（SCT）是一种测试潜在的不确定并发程序的方法。 SCT避免了单元测试并发程序可能产生的潜在不可重复的结果。 它似乎没有收到什么。。。 DéjàFu：Haskell的并发测试库 哈斯克尔'15 系统并发测试（SCT）是一种测试潜在的不确定性并发程序的方法。 SCT避免了单元测试并发程序可能产生的潜在不可重复的结果。 它似乎没有收到什么。。。
