Author:
Calcagno Cristiano,Gardner Philippa,Zarfaty Uri
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. DOM: Specification and Client Reasoning;Programming Languages and Systems;2016
2. Reasoning about the POSIX file system: local update and global pathnames;ACM SIGPLAN Notices;2015-12-18
3. XQuery and static typing: tackling the problem of backward axes;ACM SIGPLAN Notices;2015-12-18
4. Reasoning about the POSIX file system: local update and global pathnames;Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2015-10-23
5. XQuery and static typing: tackling the problem of backward axes;Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming;2015-08-29