摘要
Arv87系列。 t、 ~在麻省理工学院标记令牌数据流体系结构上执行一个程序，Arvind，Rishiyur S.Nikhil，MIT LCS计算结构小组备忘录第271号（1987年3月） 谷歌学者 
银行79。 找出程序CaJ1s和变量别名副作用的有效方法。 John P.Banning，第五届ACM编程语言原理年度研讨会（1979年1月）~第29-41页 谷歌学者 数字图书馆 
巴尔78。 《实用跨过程数据流分析算法》，Jeffrey M.Barth，《ACM通信》，第21卷，第9期（1978年9月），第724-736页 谷歌学者 数字图书馆 吉夫86。 《整合函数式编程和命令式编程》，David K.Gifford，John M.Lucassen，1986年ACM LISP和函数式编程会议（1986年8月）。 第28-38页 谷歌学者 数字图书馆 吉夫87。 FX-87参考手册，David K.Gifford等人，MIT LCS TR-409，麻省理工学院计算机科学实验室，1987年9月。 谷歌学者 费尔87。 高级语言作业CMcnlus，Matthias Felleisen，Daniel Friedman，第十四届美国计算机学会编程语言原理研讨会（1987年1月），第314-325页 谷歌学者 数字图书馆 兰77。 关于编程语言欧几里得的报告，Butler W.Lampson ~ James J.Homing，Ralph L.London，James G.Mitchell，Gerald J.Popek，SIGPLAN Notices，12（1977），pp.1-79 谷歌学者 数字图书馆 87年10月。 类型和效果——走向功能性和强制性编程的集成，John M.Lucassen博士论文，麻省理工学院计算机科学实验室LCS TR-408（1987年8月） 谷歌学者 McC79。 《关于具有多态类型结构的程序设计语言的研究》，南希·吉恩·麦克拉肯博士论文，雪城大学计算机与信息科学学院（1979年6月） 谷歌学者 内87。 《别名和支持集的计算》，安妮·奈林克（Anne Neirynck）、普拉卡什·帕纳加登（Prakash Panagaden）、艾伦·J·德默斯（Alan J.Demers），第14届年度ACM糖浆。 《编程语言原理》，西德慕尼黑，1987年1月21日至23日，第274-283页。 谷歌学者 数字图书馆 波普77。 No~es on the Design of Euclid，G.J.Popek，J.J.Horning，IL·L·伦敦，《美国计算机学会可靠软件语言设计会议论文集》，SIGPLAN Notices，第12卷，第3期（1977年3月），第11-18页 谷歌学者 数字图书馆 雷伊74。 走向类型结构理论，国际程序设计研讨会，计算机科学讲义第19期（1974年），第408-425页 谷歌学者 数字图书馆 雷伊78。 《句法控制~干扰》，约翰·雷诺兹（John C.Reynolds），第五届美国计算机学会编程语言原理年会（1978年1月），第39-46页 谷歌学者 数字图书馆 第78条。 兔子：编译器~或方案（编译器优化研究），AI-TR-474，麻省理工学院人工智能实验室，1978年5月。 谷歌学者 Tra86号公路。 麻省理工学院标记令牌数据流体系结构的编译器，Kenneth R.Traub，S.M.论文，麻省理学学院计算机科学实验室（1987年8月） 谷歌学者 威80。 存在指针、过程变量和L~bel变量时的跨过程Da~a流分析，第七届美国计算机学会编程语言原理年会（1980年1月），第83-94页 谷歌学者 数字图书馆
建议
Scala的可定制渐变多态效果 OOPSLA 2015：2015 ACM SIGPLAN面向对象编程、系统、语言和应用国际会议记录 尽管效果系统在静态推理方面具有明显的优势，但在实践中采用效果系统仍相当有限。 最近的进展，如类属效应系统，轻量效应多态性，渐进效应检查，所有。。。
