加布里埃尔·拉丹；杰罗姆·沃伊隆；文森特·巴拉特 埃利姆：用于无层web编程的核心ML语言。 （英语） Zbl 1483.68055号 Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10017, 377-397 (2016). 总结：埃利姆是的方言OCaml公司用于web编程，其中可以使用语法注释将服务器和客户端代码片段混合在同一个文件中。这允许将整个应用程序构建为单个分布式程序，在其中可以以可组合的方式定义具有服务器和客户端行为的可重用小部件。我们的语言还可以实现简单和类型安全的通信。埃利姆通过允许程序员交错客户端和服务器代码，同时保持高效的单向服务器到客户端通信，匹配Web的特性。这个埃利奥姆该语言既足够小，可以在现有语言之上实现，又足够强大，可以表达许多web编程习惯用法。在本文中，我们给出了埃利姆我们提供了一个类型系统、执行模型和编译方案。有关整个系列，请参见[Zbl 1347.68009号]. 引用于1文件 MSC公司： 68甲15 编程语言理论 68甲18 函数编程和lambda演算 关键词：网状物；客户端-服务器；OCaml公司；毫升；埃利姆；函数式编程 软件：网址（Ur/Web）；OCaml公司；重量（Lwt）；奥西根；链接；js_of_ocaml公司；BER元代码；埃利姆；Opa公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Radanne}等人，Lect。票据计算。科学。10017、377--397（2016；Zbl 1483.68055） 全文： 内政部 参考文献： [1] Balat，V.：客户端-服务器web应用程序小部件。收录：WWW 2013 Dev Track（2013）·数字对象标识代码：10.1145/2487788.2487795 [2] Balat，V.：重新思考传统网络交互：理论与实现。国际互联网技术高级杂志。63–74 (2014) [3] Balat，V.，Chambart，P.，Henry，G.：使用Ocsigen的客户端服务器web应用程序。收录于：WWW 2012 Dev Track，第59页。2012年4月，法国里昂 [4] Balat，V.，Vouillon，J.，Yakobowski，B.：经验报告：Ocsigen，网络编程框架。摘自：ICFP，第311-316页。ACM（2009） [5] BeSport。http://www.besport.com网站/ [6] Boudol，G.，Luo，Z.，Rezk，T.，Serrano，M.：关于web应用程序的推理：HOP的操作语义。事务处理。程序。语言系统。34(2), 10 (2012) [7] Chlipala，A.：针对纯功能性web应用程序语言的优化编译器。In:ICFP（2015）·Zbl 06713852号 ·doi:10.1145/2784731.2784741 [8] Chlipala，A.：Ur/Web：一个简单的网络编程模型。In:POPL（2015） [9] Chong，S.，Liu，J.，Myers，A.C.，Qi，X.，Vikram，K.，Zheng，L.，Zheng.X.：通过自动分区保护web应用程序。在：SOSP 2007（2007）·doi:10.1145/1294261.1294265 [10] Cooper，E.，Lindley，S.，Wadler，P.，Yallop，J.：链接：没有层次的网络编程。收录：Boer，F.S.，Bonsangue，M.M.，Graf，S.，Roever，W.-P.（编辑）FMCO 2006。LNCS，第4709卷，第266-296页。斯普林格，海德堡（2007）。doi:10.1007/978-3-540-74792-5_12·Zbl 05344440号 ·doi:10.1007/978-3-540-74792-5_12 [11] Ekblad，A.，Claessen，K.：类型安全web应用程序的无缝、以客户端为中心的编程模型。在：关于哈斯克尔的SIGPLAN研讨会，哈斯克尔2014（2014）·doi:10.1145/2775050.2633367 [12] Eliom网站。http://ocsigen.org/ [13] 纽约大学Gencore。http://gencore.bio.nyu.edu/ [14] Kiselyov，O.：BER MetaOCaml系统描述的设计和实现。In:FLOPS（2014）·Zbl 06320256号 [15] 流星.js。http://流星网 [16] Ocsigen工具包。http://ocsigen.org/ocsigen-toolkit/ [17] Opa网站。http://opalang.org/ [18] Philips，L.、De Roover，C.、Van Cutsem，T.和De Meuter，W.：走向无层语言的无层web开发。In：继续！2014 (2014) ·doi:10.1145/2661136.2661146 [19] 蓬格拉纳。http://www.pumgrana.com/ [20] Scherer，G.和Vouillon，J.：《猕猴：调查的灵活性》（Interrogation söre et flexible de base donées depuis OCaml）。收录：21ème journées francophones des langages applications（2010） [21] Serrano，M.，Queinnec，C.：Hop的多层语义。高阶符号计算。23(4), 409–431 (2010) ·Zbl 1256.68024号 ·doi:10.1007/s10990-010-9061-9 [22] Tyxml。http://ocsigen.org/tyxml/ [23] Vouillon，J.：Lwt：一个协作线程库。在：ACM ML研讨会（2008）·数字标识代码：10.1145/1411304.1411307 [24] Vouillon，J.，Balat，V.：从字节码到JavaScript：Js_of_ocaml编译器。柔和。实际。经验44（8），951–972（2014）·doi:10.1002/spe.2187 [25] White，L.，Bour，F.，Yallop，J.：模隐式。In:ML研讨会（2014年） [26] Wright，A.K.，Felleisen，M.：类型健全性的句法方法。Inf.计算。115(1), 38–94 (1994) ·Zbl 0938.68559号 ·doi:10.1006/inco.1994.1093 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。