摘要
M.Abadi、L.Cardelli、B.Pierce和G.Plotkin。 静态类型语言中的动态类型。 《美国计算机学会编程语言与系统汇刊》，13（2）：237--2681991年4月。]] 谷歌学者 
数字图书馆 
E.Barzilay和J.Clements。 懒惰而不努力。2005年教育中的函数式和声明式编程研讨会（FDPE）。]] 谷歌学者 数字图书馆 E.Barzilay和D.Orlovsky。 PLT方案的外部接口。 2004年方案和函数编程研讨会。]] 谷歌学者 D.比兹利。 指针、约束和类型映射。 在SWIG 1.1用户手册中。 在线可用： http://www.swig.org/Doc1.1/HTML/Typemaps.HTML。 ]] 谷歌学者 D.比兹利。 SWIG：一个易于使用的工具，用于将脚本语言与C和C++集成。 第四届Tcl/Tk研讨会，第129-139页，1996年。 在线可用： http://www.swig.org/papers/Tcl96/Tcl96.html。 ]] 谷歌学者 N.本顿。 嵌入式口译员。 函数编程杂志，15:503--5422005年7月。]] 谷歌学者 数字图书馆 N·本顿和A·肯尼迪。 没有眼泪的中介语工作：SML与Java的融合。 在ACM SIGPLAN国际函数编程会议（ICFP）上，第126-137页，1999年。]] 谷歌学者 数字图书馆 N.Benton、A.Kennedy和C.V.Russo。 互操作性冒险：SML.NET体验。 《第六届国际ACM SIGPLAN声明性编程原则与实践会议（PPDP）会议记录》，第215-226页，2004年。]] 谷歌学者 数字图书馆 M.布鲁姆。 非外来语言：教ML编译器“本机”使用C语言。 多语言基础设施和互操作性研讨会（BABEL），2001年。]] 谷歌学者 L.Cardelli。 琥珀色。 在G.Cousineau、P.-L.Curien和B.Robinet，《组合器和函数编程语言》编辑，第242卷。 施普林格·弗拉格，1986年。]] 谷歌学者 数字图书馆 M.M.T.查克拉瓦蒂。 C类 → HASKELL或其他接口工具。 在1999年功能语言实施国际研讨会上。]] 谷歌学者 数字图书馆 M.M.T.查克拉瓦蒂。 Haskell 98外部函数接口1.0，2002年。 在线可用： http://www.cse.unsw.edu.au/ ~chak/haskell/ffi/.]] 谷歌学者 C.钱伯斯和塞西尔集团。 Cecil语言：规范和基本原理，3.2版。 技术报告，华盛顿大学计算机科学与工程系，2004年2月。 在线可用： http://www.cs.washington.edu/research/projects/cecil/pubs/cecil-spect.html。 ]] 谷歌学者 M.Felleisen先生。 关于编程语言的表达能力。 《计算机程序设计科学》，17:35--751991年。]] 谷歌学者 数字图书馆 M.Felleisen和R.Hieb。 关于顺序控制和状态句法理论的修订报告。 理论计算机科学，102:235--2711992。 原始版本：技术报告89-100，莱斯大学，1989年6月。]] 谷歌学者 R.B.Findler和M.Blume。 以投影对的形式收缩。 在2006年功能和逻辑编程（FLOPS）国际研讨会上。]] 谷歌学者 数字图书馆 R.B.Findler和M.Felleisen。 高阶函数的合同。 在2002年ACM SIGPLAN国际函数编程会议（ICFP）上。]] 谷歌学者 数字图书馆 S.Finne、D.Leijen、E.Meijer和S.Peyton Jones。 从天堂呼唤地狱，从地狱呼唤天堂。 在ACM SIGPLAN国际函数编程会议（ICFP）上，第114-125页，1999年。]] 谷歌学者 数字图书馆 K.Fisher、R.Pucella和J.Reppy。 互操作性框架。 多语言基础设施和互操作性研讨会（BABEL），2001年。]] 谷歌学者 交叉引用 
C.弗拉纳根。 混合型检查。 在2006年ACM SIGPLAN-SIGACT编程语言原理研讨会上。]] 谷歌学者 数字图书馆 M.Furr和J.S.Foster。 检查外部函数调用的类型安全。 在2005年ACM SIGPLAN编程语言设计与实现（PLDI）会议上，第62-72页。]] 谷歌学者 数字图书馆 A.D.Gordon和D.Syme。 键入多语言中间代码。 在ACM SIGPLAN-SIGACT编程语言原理研讨会（POPL）上，第248-260页，2001年。]] 谷歌学者 数字图书馆 K.E.Gray、R.B.Findler和M.Flatt。 通过镜像和契约实现细粒度互操作性。 在2005年面向对象编程会议：系统、语言和应用（OOPSLA）上。]] 谷歌学者 数字图书馆 F.Henglein。 动态键入：语法和证明理论。 计算机程序设计科学，22（3）：197-2301994 谷歌学者 数字图书馆 F.Henglein和J.Rehof。 动态类型语言的安全多态类型推断：将Scheme转换为ML。函数式编程语言和计算机体系结构会议论文集，1995年。]] 谷歌学者 数字图书馆 R.Ibrahim和C.Szyperski。 COMEL语言。 技术报告FIT-TR-97-06，昆士兰理工大学信息技术学院，澳大利亚布里斯班，1997年。]] 谷歌学者 数字图书馆 杰顿。 http://www.jython.org/。 ]] 谷歌学者 A.肯尼迪。 固定。 NET编程模型。 理论计算机科学，即将出现。 http://research.microsoft.com/ ~aken/秒/.]] 谷歌学者 数字图书馆 L.Kornstedt。 Alice in the land of Oz——基于互操作性的函数语言在关系语言之上的实现。 多语言基础设施和互操作性研讨会（BABEL），2001年。]] 谷歌学者 交叉引用 J.Matthews和R.B.Findler。 R5RS方案的操作语义。 在2005年的方案和功能规划研讨会上。]] 谷歌学者 J.Matthews、R.B.Findler、M.Flatt和M.Felleisen。 用于开发上下文敏感的术语重写系统的可视化环境。 2004年国际重写技术与应用会议（RTA）论文集。]] 谷歌学者 交叉引用 E.Meijer、N.Perry和A.van Yzendooron。 编写脚本。 NET使用Mondrian。 在欧洲面向对象编程会议（ECOOP）上，第150-164页，英国伦敦，2001年。 施普林格-弗拉格。]] 谷歌学者 数字图书馆 P.Meunier和D.Silva。 从Python到PLT方案。 《方案与函数编程第四次研讨会论文集》，第24-29页，2003年。]] 谷歌学者 M.Odersky、P.Altherr、V.Cremet、B.Emir、S.Micheloud、N.Mihaylov、M.Schinz、E.Stenman和M.Zenger。 Scala简介。 http://scala.epfl.ch/docu/files/ScalaIntro.pdf , 2005.]] 谷歌学者 A.Ohori和K.Kato。 多态语言中通信原语的语义。 在ACM SIGPLAN-SIGACT编程语言原理研讨会（POPL）上，第99-112页，1993年。]] 谷歌学者 数字图书馆 P.平托。 点模式：PLT模式FFI。 NET框架。2003年11月，在方案和函数编程研讨会上。]] 谷歌学者 G.D.Plotkin。 LCF被认为是一种编程语言。 《理论计算机科学》，第223-255页，1977年。]] 谷歌学者 R.普切拉。 面向COM的形式化，第一部分：原始演算。 在面向对象编程会议：系统、语言和应用程序（OOPSLA），2002年。]] 谷歌学者 数字图书馆 N.拉姆齐。 使用高阶函数和类型嵌入解释语言。 《解释器、虚拟机和仿真器》（IVME'03），2003年第6-14页。]] 谷歌学者 数字图书馆 J.Reppy和C.Song。 特定于应用程序的外部接口生成。 在生成程序设计和组件工程（GPCE）国际会议上，2006年。]] 谷歌学者 数字图书馆 P.斯特克勒。 MysterX:一个使用COM构建交互式应用程序的Scheme工具包。《面向对象语言和系统技术》（TOOL），第364-373页，1999年。 在线提供：citeseer.ist.psu.edu/steckler99mysterx.html.]] 谷歌学者 数字图书馆 V.Trifonov和Z.Shao。 安全且有原则的语言互操作。 在欧洲编程研讨会（ESOP）上，第128至146页，1999年。]] 谷歌学者 数字图书馆 A.Wright和M.Felleisen。 一种类型正确性的句法方法。 《信息与计算》，第38-94页，1994年。 首次以技术报告TR160的形式出现，莱斯大学，1991年。]] 谷歌学者 数字图书馆 S.Zdancewic、D.Grossman和G.Morrisett。 编程语言原理。 在1999年ACM SIGPLAN国际函数编程会议（ICFP）上。]] 谷歌学者 数字图书馆
建议
多语言程序的操作语义 互操作性是一项大业务，这是一个事实。 NET、JVM和COM可以证明。 语言设计者很清楚这一点，他们正在为实例设计反映这一点的编程语言，SML.NET、F#、Mondrian和Scala都在处理。。。 多语言程序的操作语义 2007年POPL会议记录 正如微软的成功一样，语言间互操作性是一项大生意。 NET和COM以及Sun的JVM显示。 编程语言设计者正在设计反映这一事实的编程语言——SML#、Mondrian和Scala，仅举几个。。。
