Eliom: A Core ML Language for Tierless Web Programming

DOI10.1007/978-3-319-47958-3_20MaRDI QIDQ3179305zbMATH OpenOpenAlexFDO

Authors Gabriel Radanne, Jérôme Vouillon, Vincent Balat

Publication date 21 December 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-47958-3_20

zbMATH Keywords

functional programmingMLWebclient-serverOCamlEliom

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• FabULous interoperability for ML and a linear language
• ELPI: fast, embeddable, Prolog interpreter
• The ML approach to the readable all-purpose language
• scientific article; zbMATH DE number 49256
• Lightweight monadic programming in ML
• Semantics for core Concurrent ML using computation types

Cites work

• A multi-tier semantics for Hop
• A syntactic approach to type soundness

Cited in

(4)

• A theory of RPC calculi for client-server model
• Eliom
• A multi-tier semantics for Hop
• MetaOCaml server pages: web publishing as staged computation

Describes a project that uses

Uses Software

• Lwt
• Links
• Opa
• js_of_ocaml
• Ocsigen
• Ur/Web
• BER MetaOCaml
• OCaml

This page was built for publication: Eliom: A Core ML Language for Tierless Web Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3179305)