参考文献
- 交互式功能程序 (摘要)
- 彼得·阿奇顿
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年。