{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:54Z","timestamp":1750221354388,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":39,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1145\/3184558.3185953","type":"proceedings-article","created":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T18:04:25Z","timestamp":1524074665000},"page":"681-689","source":"Crossref","is-referenced-by-count":4,"title":["Tierless Web Programming in the Large"],"prefix":"10.1145","author":[{"given":"Gabriel","family":"Radanne","sequence":"first","affiliation":[{"name":"University of Freiburg, Freiburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Vouillon","sequence":"additional","affiliation":[{"name":"IRIF, Univ Paris Diderot, Sorbonne Paris Cit\u00e9 CNRS & BeSport, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"key-10.1145\/3184558.3185953-1","unstructured":"Vincent Balat. 2014. Rethinking Traditional Web Interaction: Theory and Implementation. International Journal on Advances in Internet Technology (2014). http:\/\/www.iariajournals.org\/internet_technology\/"},{"key":"key-10.1145\/3184558.3185953-2","doi-asserted-by":"crossref","unstructured":"Vincent Balat, Jérôme Vouillon, and Boris Yakobowski. 2009. Experience report: Ocsigen, a Web programming framework. In ICFP, Graham Hutton and Andrew P. Tolmach (Eds.). ACM, 311--316.","DOI":"10.1145\/1596550.1596595"},{"key":"key-10.1145\/3184558.3185953-3","unstructured":"Gérard Boudol, Zhengqin Luo, Tamara Rezk, and Manuel Serrano. 2012. Reasoning about Web Applications: An Operational Semantics for HOP. ACM Trans. Program. Lang. Syst. 34, 2 (2012), 10."},{"key":"key-10.1145\/3184558.3185953-4","unstructured":"James Cheney, Sam Lindley, Gabriel Radanne, and Philip Wadler. 2013. Effective Quotation. CoRR abs\/1310.4780 (2013). http:\/\/arxiv.org\/abs\/1310.4780"},{"key":"key-10.1145\/3184558.3185953-5","doi-asserted-by":"crossref","unstructured":"Adam Chlipala. [n. d.]. Ur\/Web: A Simple Model for Programming the Web (POPL '15). https:\/\/doi.org\/10.1145\/2676726.2677004","DOI":"10.1145\/2676726.2677004"},{"key":"key-10.1145\/3184558.3185953-6","doi-asserted-by":"crossref","unstructured":"Adam Chlipala. 2015. An Optimizing Compiler for a Purely Functional WebApplication Language. In ICFP.","DOI":"10.1145\/2784731.2784741"},{"key":"key-10.1145\/3184558.3185953-7","doi-asserted-by":"crossref","unstructured":"Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. 2006. Links: Web Programming Without Tiers. In FMCO. 266--296.","DOI":"10.1007\/978-3-540-74792-5_12"},{"key":"key-10.1145\/3184558.3185953-8","doi-asserted-by":"crossref","unstructured":"Karl Crary. 2017. Modules, abstraction, and parametric polymorphism, Giuseppe Castagna and Andrew D. Gordon (Eds.). http:\/\/dl.acm.org\/citation.cfmid= 3009892","DOI":"10.1145\/3009837.3009892"},{"key":"key-10.1145\/3184558.3185953-9","unstructured":"Derek Dreyer. 2005. Understanding and Evolving the ML Module System. Ph.D. Dissertation. Carnegie Mellon University. https:\/\/people.mpi-sws.org\/~dreyer\/thesis\/main.pdf"},{"key":"key-10.1145\/3184558.3185953-10","unstructured":"Anton Ekblad and Koen Claessen. [n. d.]. A Seamless, Client-centric Programming Model for Type Safe Web Applications (Haskell '14). https:\/\/doi.org\/10.1145\/ 2633357.2633367"},{"key":"key-10.1145\/3184558.3185953-11","unstructured":"Eliom 2017. Eliom web site. https:\/\/ocsigen.org\/eliom."},{"key":"key-10.1145\/3184558.3185953-12","unstructured":"Hashids 2017. Hashids. http:\/\/hashids.org\/."},{"key":"key-10.1145\/3184558.3185953-13","doi-asserted-by":"crossref","unstructured":"Scott Kilpatrick, Derek Dreyer, Simon L. Peyton Jones, and Simon Marlow. 2014. Backpack: retrofitting Haskell with interfaces. https:\/\/doi.org\/10.1145\/2535838. 2535884","DOI":"10.1145\/2535838"},{"key":"key-10.1145\/3184558.3185953-14","unstructured":"Oleg Kiselyov. 2014. The Design and Implementation of BER MetaOCaml (Lecture Notes in Computer Science), Michael Codish and Eijiro Sumii (Eds.), Vol. 8475. Springer. https:\/\/doi.org\/10.1007\/978--3--319-07151-0_6"},{"key":"key-10.1145\/3184558.3185953-15","doi-asserted-by":"crossref","unstructured":"Daniel K. Lee, Karl Crary, and Robert Harper. 2007. Towards a mechanized metatheory of standard ML, Martin Hofmann and Matthias Felleisen (Eds.). ACM. https:\/\/doi.org\/10.1145\/1190216.1190245","DOI":"10.1145\/1190216.1190245"},{"key":"key-10.1145\/3184558.3185953-16","doi-asserted-by":"crossref","unstructured":"Xavier Leroy. 1994. Manifest Types, Modules, and Separate Compilation, HansJuergen Boehm, Bernard Lang, and Daniel M. Yellin (Eds.). ACM Press. https: \/\/doi.org\/10.1145\/174675.176926","DOI":"10.1145\/174675.176926"},{"key":"key-10.1145\/3184558.3185953-17","unstructured":"Xavier Leroy. 1995. Applicative Functors and Fully Transparent Higher-Order Modules, Ron K. Cytron and Peter Lee (Eds.). ACM Press. https:\/\/doi.org\/10. 1145\/199448.199476"},{"key":"key-10.1145\/3184558.3185953-18","unstructured":"Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon. 2016. The OCaml system release 4.04, Documentation and user's manual. Projet Gallium, INRIA."},{"key":"key-10.1145\/3184558.3185953-19","doi-asserted-by":"crossref","unstructured":"David B. MacQueen. 1984. Modules for Standard ML. In LISP and Functional Programming. 198--207.","DOI":"10.1145\/800055.802036"},{"key":"key-10.1145\/3184558.3185953-20","unstructured":"Meteor.js 2017. Meteor.js. http:\/\/meteor.com."},{"key":"key-10.1145\/3184558.3185953-21","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. 1990. Definition of standard ML. MIT Press."},{"key":"key-10.1145\/3184558.3185953-22","unstructured":"Yaron Minsky, Anil Madhavapeddy, and Jason Hickey. 2013. Real World OCaml - Functional Programming for the Masses. O'Reilly. https:\/\/realworldocaml.org\/"},{"key":"key-10.1145\/3184558.3185953-23","unstructured":"MLton 2014. MLton. (2014). http:\/\/mlton.org\/Home"},{"key":"key-10.1145\/3184558.3185953-24","unstructured":"Olivier Nicole. 2016. Bringing typed, modular macros to OCaml. (2016). https: \/\/oliviernicole.github.io\/about_macros.html"},{"key":"key-10.1145\/3184558.3185953-25","unstructured":"Ocsigen Toolkit 2017. Ocsigen Toolkit. http:\/\/ocsigen.org\/ocsigen-toolkit\/."},{"key":"key-10.1145\/3184558.3185953-26","doi-asserted-by":"crossref","unstructured":"Laure Philips, Coen De Roover, Tom Van Cutsem, and Wolfgang De Meuter. 2014. Towards Tierless Web Development Without Tierless Languages (Onward! 2014). 69--81. https:\/\/doi.org\/10.1145\/2661136.2661146","DOI":"10.1145\/2661136.2661146"},{"key":"key-10.1145\/3184558.3185953-27","doi-asserted-by":"crossref","unstructured":"Laure Philips, Joeri De Koster, Wolfgang De Meuter, and Coen De Roover. 2016. Dependence-driven delimited CPS transformation for JavaScript. https:\/\/doi. org\/10.1145\/2993236.2993243","DOI":"10.1145\/2993236.2993243"},{"key":"key-10.1145\/3184558.3185953-28","doi-asserted-by":"crossref","unstructured":"Gabriel Radanne. 2017. Tierless Web Programming in ML. Ph.D. Dissertation. Paris Diderot. https:\/\/www.irif.fr\/~gradanne\/papers\/phdthesis.pdf","DOI":"10.1145\/3184558.3185953"},{"key":"key-10.1145\/3184558.3185953-29","doi-asserted-by":"crossref","unstructured":"Gabriel Radanne, Vasilis Papavasileiou, Jérôme Vouillon, and Vincent Balat. 2016. Eliom: tierless Web programming from the ground up, Tom Schrijvers (Ed.). ACM. https:\/\/doi.org\/10.1145\/3064899.3064901","DOI":"10.1145\/3064899.3064901"},{"key":"key-10.1145\/3184558.3185953-30","unstructured":"Gabriel Radanne, Jérôme Vouillon, and Vincent Balat. 2016. Eliom: A Core ML Language for Tierless Web Programming (Lecture Notes in Computer Science). https:\/\/doi.org\/10.1007\/978--3--319--47958--3_20"},{"key":"key-10.1145\/3184558.3185953-31","doi-asserted-by":"crossref","unstructured":"Andreas Rossberg, Claudio V. Russo, and Derek Dreyer. 2014. F-ing modules. J. Funct. Program. 24, 5 (2014), 529--607. https:\/\/doi.org\/10.1017\/S0956796814000264","DOI":"10.1017\/S0956796814000264"},{"key":"key-10.1145\/3184558.3185953-32","doi-asserted-by":"crossref","unstructured":"Claudio V. Russo. 2000. First-Class Structures for Standard ML. Nord. J. Comput. 7, 4 (2000), 348--374.","DOI":"10.1007\/3-540-46425-5_22"},{"key":"key-10.1145\/3184558.3185953-33","doi-asserted-by":"crossref","unstructured":"Manuel Serrano and Vincent Prunet. 2016. A glimpse of Hopjs, Jacques Garrigue, Gabriele Keller, and Eijiro Sumii (Eds.). ACM. https:\/\/doi.org\/10.1145\/2951913. 2951916","DOI":"10.1145\/2951913"},{"key":"key-10.1145\/3184558.3185953-34","doi-asserted-by":"crossref","unstructured":"Manuel Serrano and Christian Queinnec. 2010. A multi-tier semantics for Hop. Higher-Order and Symbolic Computation 23, 4 (2010), 409--431.","DOI":"10.1007\/s10990-010-9061-9"},{"key":"key-10.1145\/3184558.3185953-35","doi-asserted-by":"crossref","unstructured":"Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, and Viktor Vafeiadis. 2007. Acute: High-level programming language design for distributed computation. J. Funct. Program. (2007). https:\/\/doi.org\/10.1017\/S0956796807006442","DOI":"10.1017\/S0956796807006442"},{"key":"key-10.1145\/3184558.3185953-36","unstructured":"Mads Tofte. 1988. Operational Semantics and Polymorphic Type Inference. Ph.D. Dissertation. University of Edinburgh."},{"key":"key-10.1145\/3184558.3185953-37","unstructured":"TyXML 2017. TyXML. http:\/\/ocsigen.org\/tyxml\/."},{"key":"key-10.1145\/3184558.3185953-38","unstructured":"Jérôme Vouillon and Vincent Balat. 2014. From bytecode to JavaScript: the Js_- of_ocaml compiler. Software: Practice and Experience (2014). https:\/\/doi.org\/10. 1002\/spe.2187"},{"key":"key-10.1145\/3184558.3185953-39","unstructured":"Jeremy Yallop and Leo White. 2015. Modular macros. OCaml Workshop (2015). http:\/\/www.lpw25.net\/ocaml2015-abs1.pdf"}],"event":{"number":"2018","sponsor":["IW3C2, International World Wide Web Conference Committee","SIGWEB, ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"acronym":"WWW '18","name":"Companion of the The Web Conference 2018","start":{"date-parts":[[2018,4,23]]},"location":"Lyon, France","end":{"date-parts":[[2018,4,27]]}},"container-title":["Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3184558.3185953","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=3185953&ftid=1958325&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:06Z","timestamp":1750213566000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=3184558.3185953"}},"subtitle":[],"proceedings-subject":"The Web Conference 2018","short-title":[],"issued":{"date-parts":[[2018]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1145\/3184558.3185953","relation":{},"subject":[],"published":{"date-parts":[[2018]]}}}