A multi-tier semantics for Hop

DOI10.1007/S10990-010-9061-9MaRDI QIDQ1929340zbMATH OpenOpenAlexFDO

Authors Manuel Serrano, Christian Queinnec

Publication date 8 January 2013

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10990-010-9061-9

zbMATH Keywords

semanticsmulti-tier languageweb programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Internet topics (68M11) Semantics in the theory of computing (68Q55)

Recommendations

• Eliom: A Core ML Language for Tierless Web Programming
• Substructural meta-theory of a type-safe language for web programming
• A UTP semantic model for Orc language with execution status and fault handling
• MetaOCaml server pages: web publishing as staged computation
• A denotational semantical model for Orc language

Cites work

• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• From sequential programs to multi-tier applications by program transformation
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• Programming Languages and Systems

Cited in

(2)

• A theory of RPC calculi for client-server model
• Eliom: A Core ML Language for Tierless Web Programming

Describes a project that uses

Uses Software

• Links
• Hop
• Flapjax
• JavaScript

This page was built for publication: A multi-tier semantics for Hop

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