A multi-tier semantics for Hop

DOI10.1007/s10990-010-9061-9zbMath1256.68024OpenAlexW1990791494MaRDI QIDQ1929340

Christian Queinnec, Manuel Serrano

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) Semantics in the theory of computing (68Q55) Internet topics (68M11)

Related Items (2)

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

Uses Software

• JavaScript
• Flapjax
• Hop
• Links

Cites Work

• Unnamed Item
• Macros as multi-stage computations
• From sequential programs to multi-tier applications by program transformation
• Programming Languages and Systems

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