Funder
National Authority for Scientific Research
Ministry of Education – Singapore
British Council
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference49 articles.
1. Types and persistence in database programming languages;Atkinson;ACM Comput. Surv.,1987
2. Intersection and union types: syntax and semantics;Barbanera;Inf. Comput.,1995
3. RDF 1.1 turtle: terse RDF triple language;Beckett,2014
4. CDuce: an XML-centric general-purpose language;Benzaken;ACM SIGPLAN Not.,2003
5. Descriptive typing rules for Xcerpt;Berger,2005
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献