A descriptive type foundation for RDF Schema
From MaRDI portal
Publication:739626
DOI10.1016/j.jlamp.2016.02.006zbMath1348.68032OpenAlexW2305960706WikidataQ57936287 ScholiaQ57936287MaRDI QIDQ739626
Ross Horne, Gabriel Ciobanu, Vladimiro Sassone
Publication date: 18 August 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.02.006
Uses Software
Cites Work
- Principles of programming with complex objects and collection types
- Intersection and union types: Syntax and semantics
- Tracing where and who provenance in linked data: a calculus
- Minimal type inference for linked data consumers
- Linked data privacy
- Operations on records
- Descriptive Types for Linked Data Resources
- Proving termination with multiset orderings
- Type inference with simple subtypes
- An extension of system F with subtyping
- CDuce
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item