Capability-based localization of distributed and heterogeneous queries

DOI10.1017/S095679681700017XMaRDI QIDQ4577810zbMATH OpenOpenAlexFDO

Authors

Publication date 3 August 2018

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s095679681700017x

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Database theory (68P15) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1951157
• Expressive capabilities description languages and query rewriting algorithms
• scientific article; zbMATH DE number 1946643
• scientific article; zbMATH DE number 1692931
• scientific article; zbMATH DE number 1241635

Cites work

• A modal analysis of staged computation
• A practical theory of language-integrated query
• CDuce: an XML-centric general-purpose language
• Expressive capabilities description languages and query rewriting algorithms
• On theories with a combinatorial definition of 'equivalence'
• Principles of programming with complex objects and collection types
• Types for the ambient calculus

Describes a project that uses

Uses Software

• CDuce
• Ur/Web
• Hop
• Kleisli
• Links
• MiniML

This page was built for publication: Capability-based localization of distributed and heterogeneous queries

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