参考文献

交互式功能程序 (摘要)
彼得·阿奇顿
1996年2月,奈梅亨卡托利克大学博士论文。
PostScript语言参考手册
(无作者)
Adobe Inc.,Addison-Wesley,1990年。
ALF用户指南
托尔斯滕·阿尔滕基奇,维罗妮卡·加斯佩斯,本特·诺德斯特伦,比约恩·冯·西多
查尔默斯理工大学,瑞典,可在WWW上获得ftp://ftp.cs.chalmers.se/pub/users/alti/alf.ps.Z1994年5月。
Lazy ML用户手册
奥古斯森,T.约翰逊
编程方法小组,计算机科学系,Chalmers,S-412 96 Göteborg,Sweden,使用LML编译器进行分发。,1993
功能强大的动画初学者工具包
凯维·阿里亚
《函数编程杂志》,第4卷,第1期,第1-18页,1994年1月。
HBC编译器
伦纳特·奥古斯森
1997
抽象窗口工具包
(无作者)
.
编程能从冯·诺依曼风格中解放出来吗?函数风格及其程序代数
约翰·巴科斯
ACM通讯,第21卷,第280-294页,1978年8月。
化学文摘机
G.贝里、G.Boudol
《ACM编程语言原理》,第81-94页,加利福尼亚州旧金山,1990年1月。
递归编程技术
W.H.伯格
Addison-Wesley出版公司,马萨诸塞州雷丁,1975年。
具有参考透明度的非确定性函数式编程语言
W.伯顿
《计算机杂志》,第31卷,第3期,1988年。
琥珀色
鲁卡·凯德利
《组合器和函数编程语言》,LNCS,第242期,第21-47页,Springer Verlag出版社,1986年。
1995年格拉斯哥GUI节
马格纳斯
1995年7月。
控件-Lazy中的图形用户界面和I/O函数式语言
M.卡尔森,T.哈尔格伦
1993年5月。
软糖-惰性函数语言中的图形用户界面 (摘要)
M.卡尔森,T.哈尔格伦
1993年FPCA函数式编程会议《语言与计算机体系结构》,第321-330页,美国计算机学会出版社,1993年6月。
福吉特图书馆参考手册
马格纳斯,托马斯·哈格伦
1997
功能珍珠:穷人的并发单子
科恩·克莱森
《函数编程杂志》,1998年。
KAOS简介
J.库比特。
《技术报告》,第58期,英国坎特伯雷肯特大学计算实验室,1989年。
在TkGofer中构建图形范例
科恩·克莱森、Ton Vullinghs、,梅耶尔
1997年6月在ACM举行的函数式编程国际会议上。
关于理解类型、数据抽象和多态性
鲁卡·凯德利,彼得·韦格纳
《计算调查》,第17卷,第4期,第471-522页,1985年12月。
功能和动态用户界面
A.住宅
在美国计算机学会会议记录中,第371-381页,1989年。
功能反应动画
科纳尔·埃利奥特
程序中。1997年功能编程国际会议(ICFP'97),荷兰阿姆斯特丹,1997年6月。
威尔伯-HTML 3.2
阿诺德·恩格弗里特
1997
Concurrent Haskell公司 (摘要)
西格伯恩·芬恩,安德鲁·戈登,西蒙·佩顿·琼斯
第23届编程语言原则会议,第295-308页,佛罗里达州圣彼得堡,1996年1月。
图片:一种简单的结构化图形模型
西格伯恩·芬恩,西蒙·佩顿·琼斯
在格拉斯哥函数编程研讨会上,乌拉普尔,1995年。
第三版
詹姆斯·戈斯林、比尔·乔伊、盖·斯蒂尔
Addison-Wesley,1996年。
PFL+:一种用于功能I/O的内核方案。
安德鲁·戈登
技术报告,第160号技术报告,剑桥大学计算机实验室,1989年2月。
功能编程和输入/输出
安德鲁·戈登
剑桥大学国王学院博士论文,1992年8月。
eXene小部件手册
E.R.甘斯纳,J.Reppy
1991年6月。
实时多用户游戏简介LML编程
T.哈尔格伦
《技术报告》,第89号备忘录,瑞典哥德堡查尔默斯计算机科学系,邮编:412 96,1990年1月。
Alfa主页
托马斯·哈格伦
1997
用小控件编程 (摘要)
托马斯·哈格伦,马格纳斯
在J。Jeuring和E.Meijer,《高级函数编程》,第137-182页,Springer Verlag,LNCS 9251995。
Fudgets主页
托马斯·哈格伦,马格纳斯
1997
Brisk项目:并发和分布式功能系统 (摘要)
伊恩·霍耶、尼尔·戴维斯、克里斯·多南
技术报告,编号CSTR-95-015,布里斯托尔大学计算机科学系,1995年6月。
函数几何
P.亨德森
1982年LISP和功能编程,宾夕法尼亚州匹兹堡,美国计算机学会,纽约,纽约,1982年。
全氟辛烷值:一种并行函数语言及其实现
索伦·霍姆斯特罗姆
查尔默斯大学编程方法小组PMG备忘录第7号《技术》,哥德堡,1983年。
线性函数语言
索伦·霍姆斯特罗姆
1988年研讨会论文集《惰性函数语言的实现》,1988年。
Haskell 1.4版简介
保罗·哈达克,贝德森,约瑟夫·法塞尔
1997年3月。
程序设计语言Haskell报告,A非标准纯功能语言(1.2版)
Hudak、Paul、Peyton Jones、Simon L.、Wadler(编辑)、Philip
在SIGPLAN通知中,第卷,1992年3月。
格拉斯哥-哈斯克尔编译器
西蒙·佩顿·琼斯,其他
1997
PolyP-一种多类型编程语言扩展
P.詹森,J.杰林
《POPL'97:第24届ACM SIGPLAN-SIGACT编程语言原理研讨会》,第470-482页,ACM出版社,1997年。
类型类:对设计空间的探索
西蒙·佩顿·琼斯,马克·琼斯,梅耶尔
《哈斯克尔研讨会论文集》,荷兰阿姆斯特丹,1997年。
绿卡:Haskell的外语接口
西蒙·佩顿·琼斯托马斯·诺丁、阿拉斯泰尔·里德
《哈斯克尔研讨会论文集》,荷兰阿姆斯特丹,1997年。
Yacc——又一个编译器编译器
S.C.约翰逊
技术报告,第32号,贝尔实验室,也在unix(通用)程序员手册,第2B卷,1975年。
Gofer 2.21的发行说明
马克·琼斯
耶鲁大学计算机科学系技术报告,作为标准Gofer分发的一部分,1991年11月。
构造函数类系统:重载和隐式高阶多态性。 (摘要)
马克·琼斯。
《功能编程与计算机体系结构》,丹麦哥本哈根,1993年6月。
功能编程和操作系统
S.B.Jones和F.Sinclair
《计算机杂志》,第32卷,第2期,第162-174页,1989年。
再看完全懒惰
肯特·卡尔松
计算机科学系,《惰性功能程序的需求分析与编译》,查尔默斯科技大学计算机科学系,哥德堡大学,哥德伯格,瑞典,1992年9月。
并行过程的轮廓和网络
Gilles Kahn,大卫·B·麦昆
在B。Gilchrist,《信息处理》77,第993-998页,北荷兰人出版社,1977年。
可用性管理
查尔斯·克莱茨伯格
Antone F.Alber,《多媒体:管理视角》,Wadsworth,加利福尼亚州贝尔蒙特,1996年。
组合类型类和存在类型 (摘要)
康斯坦丁·卢弗
程序中。拉丁美洲信息学会议(小组),ITESM-SEM,墨西哥,1994年9月。
Algol 60与Church的Lambda符号的对应:第一部分
P.J.兰丁
ACM通讯,第8卷,第2期,第89-1001965页。
懒惰的函数状态线程 (摘要)
J.朗奇伯里,S.佩顿-琼斯
《编程语言设计与实现》,ACM出版社,奥兰多,1994年。
一类抽象类型ML的扩展 (摘要)
康斯坦丁·卢弗,马丁·奥德斯基
程序中。ML及其应用研讨会,ACM SIGPLAN,旧金山,1992年6月。
计算数学理论的基础 (摘要)
J.麦卡锡
在P中。Braffort和D.Hirschberg,《计算机编程和形式系统》,第33-70页,北荷兰人出版社,1963年。
通信系统的计算
罗宾·米尔纳
《计算机科学讲义》,第92卷,施普林格-弗拉格出版社,1980年。
NetBSD项目
(无作者)
.
Netscape公司
(无作者)
.
pH流体系统
R.S.尼基尔
1995年6月。
图形用户界面的惰性功能组件 (摘要)
罗伯·诺布尔
1995年11月,英国约克大学计算机科学系博士论文,约克州赫斯林顿,Y01 55D。
函数语言和图形用户界面——回顾和案例研究
R.诺贝尔,C.Runciman公司
技术报告,编号YCS-94-223,公司部门。科学。,约克大学,约克州赫斯林顿,Y01 55D,英格兰,1994年。
小工具:图形的惰性功能组件用户界面 (摘要)
Rob Noble,科林·伦西曼
1995年在赫尔梅内吉尔多、曼努埃尔和斯威斯特拉、S.多伊斯、PLILP:第七届国际研讨会编程语言、实现、逻辑和程序,计算机科学讲义,第982卷,第321-340页,Springer-Verlag,95年9月。
Xlib参考手册,第2卷
A.奈伊。
奥莱利&Associates,Inc.,1990年。
对话:构建编程环境的基础
约翰·T·奥唐纳
SIGPLAN通告,第20卷,第7期,第19-27页,1985年编程环境中语言问题研讨会论文集,1985年。
Tcl和Tk工具包
J.K.Ousterhout
艾迪森·卫斯理,1994年。
披萨到Java:将理论转化为实践
马丁·奥德斯基,菲利普·沃德勒
程序中。第24届ACM程序设计原理研讨会语言,1997年1月。
Haskell主页
贝德森
1997
哈斯克尔图书馆报告,1.4版
J.彼得森,K·哈蒙德
《技术报告》,耶鲁大学,1997年。
哈斯克尔报告,1.4版
J.彼得森,K·哈蒙德
耶鲁大学技术报告,1997年。
并发干净语言报告
普拉斯梅耶绿脓杆菌,马克·范·埃克伦
可从Concurrent Clean Home Page获得:动词!www.cs.kun.nl/清洁!,1996
CML:一种高阶并发语言
J.Reppy公司
SIGPLAN’91会议记录《编程语言设计与实现》,第293-305页,1991年6月。
CML:一种高阶并发语言
J.Reppy公司
《SIGPLAN’91编程语言设计与实现会议记录》,第293--3051991页。
eXene库手册
J.Reppy,E.R.Gansner(E.R.甘斯纳)
1991年6月。
使用标准小部件集实现小部件 (摘要)
A.里德、S.辛格。
格拉斯哥函数编程研讨会,第222-235页,Springer Verlag,93。
Haskell的四个并发原语
E.舒尔茨
程序中。Haskell Workshop,第1-12页,耶鲁大学研究报告YALEU/DCS/RR-1075,加利福尼亚州拉荷亚,1995年。
PIDGETS:在基于约束的并发功能GUI编程框架
埃诺·舒尔茨
在Herbert Kuchen和S.Doaitse Swierstra,PLILP’96:第八届国际编程研讨会上语言、实现、逻辑和程序,LNCS,第1140号,第363-377页,1996年9月。
BriX-一个确定性并发泛函XWindows系统 (摘要)
帕斯卡·塞拉伦
技术报告,布里斯托尔大学计算机科学系,1995年6月。
X窗口系统
R.W.舍夫勒,J.盖蒂
《美国计算机学会图形学报》,第5卷,第2期,1986年4月。
设计用户界面:有效人机交互的策略
本·施奈德曼
艾迪森·卫斯理,1998年。
使用Miranda的XView/X11
S.Singh公司
赫尔达尔等人,1991年格拉斯哥函数编程研讨会。
懒惰的Wafe-功能图形界面语言文字
D.C.辛克莱
草稿。,1992
剑麻语言项目
(无作者)
1996
新泽西州标准ML
(无作者)
.
编写功能操作系统的新方案
W.R.斯托伊
《技术报告》,第56期,剑桥大学计算机实验室,1984年。
关于标准ML的在线信息
克里斯·斯通
1997
拥抱窗户 (摘要)
科林·泰勒
技术报告,NOTTCS-TR-96-1,英国诺丁汉大学计算机科学系,1996年10月。
MIRAX-功能的X窗口接口程序设计语言米兰达
M.特布斯
达勒姆大学工程与应用科学学院技术报告,1991年4月。
交互式函数编程
S.汤普森
英寸。
Facile Antigua发布-编程指南
B.Thomsen、L.Leth、S.Prasad、T.-S.Kuo、F.Kabe、A.Giacalone
技术报告,编号ECRC-93-20,欧洲计算机工业研究中心股份有限公司,1993年。
函数式程序设计语言H简介
斯塔凡·特鲁维
1994
功能编程和通信过程
戴维·特纳
In de Bakker,J.W.和Nijman,A.J.以及Trelevan,P.C.,PARLE’87欧洲并行架构和语言,第2卷:并行语言,计算机科学讲义,第259卷,第54-74页,施普林格,柏林,埃因霍温,荷兰,1987年6月15-19日。
功能操作系统的方法
D.A.特纳
英寸。
函数式编程研究课题
D.A.特纳
Addison-Wesley出版公司,1990年。
用于函数编程的轻量级GUI
T.Vullinghs、D.Tuijnman、W.Schulte
第七届国际研讨会论文集PLILP95,LNCS,第982卷,施普林格出版社,1995年9月。
函数编程的单子函数
菲利普·沃德勒
在J。Jeuring和E.Meijer,《高级函数编程》,LNCS,第925号,第24-52页,Springer Verlag出版社,1995年5月。
X窗口系统:编程与应用带有Xt。OSF/Motif版
D.A.杨
普伦蒂斯·霍尔,1990年。