Capability-based localization of distributed and heterogeneous queries

DOI10.1017/S095679681700017XzbMath1475.68106OpenAlexW2775687798MaRDI QIDQ4577810

No author found.

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

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

Uses Software

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

Cites Work

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

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