Author:
Horne Ross,Sassone Vladimiro
Reference61 articles.
1. HadoopDB: An architectural hybrid of MapReduce and DBMS technologies for analytical workloads;Abouzeid;Proceedings of the VLDB Endowment,2009
2. Proofs as processes;Abramsky;Theoretical Computer Science,1994
3. Quantales, observational logic and process semantics;Abramsky;Mathematical Structures in Computer Science,1993
4. The syntax and semantics of the proposed international algebraic language of the Zurich ACM–GAMM conference;Backus,1959
5. On the π-calculus and linear logic;Bellin;Theoretical Computer Science,1994
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type Checking Program Code Using SHACL;Lecture Notes in Computer Science;2019
2. A descriptive type foundation for RDF Schema;Journal of Logical and Algebraic Methods in Programming;2016-08
3. Minimal type inference for Linked Data consumers;Journal of Logical and Algebraic Methods in Programming;2015-07
4. Descriptive Types for Linked Data Resources;Lecture Notes in Computer Science;2015
5. Local Type Checking for Linked Data Consumers;Electronic Proceedings in Theoretical Computer Science;2013-07-31