Minimal type inference for linked data consumers

DOI10.1016/j.jlamp.2014.12.005zbMath1329.68085arXiv1308.0389OpenAlexW2053554289WikidataQ57936443 ScholiaQ57936443MaRDI QIDQ2348796

Gabriel Ciobanu, Ross Horne, Vladimiro Sassone

Publication date: 15 June 2015

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1308.0389

zbMATH Keywords

operational semanticstype systemslinked data

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05) Internet topics (68M11)

Related Items

The Essence of Functional Programming on Semantic Data ⋮ A descriptive type foundation for RDF Schema

Uses Software

• XQuery
• SPARQL
• Jena
• Data-Fu
• XPath
• Turtle

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intersection and union types: Syntax and semantics
• Tracing where and who provenance in linked data: a calculus
• Descriptive Types for Linked Data Resources
• Normalisation Control in Deep Inference via Atomic Flows