Author:
Castagna Giuseppe,Im Hyeonseung,Nguyễn Kim,Benzaken Véronique
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Alon, N., Milo, T., Neven, F., Suciu, D., Vianu, V.: XML with data values: Typechecking revisited. In: PODS, pp. 138–149. ACM (2001)
2. Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Trans. Program. Lang. Syst. 15(4), 575–631 (1993)
3. Benedikt, M., Vu, H.: Higher-order functions and structured datatypes. In: WebDB, pp. 43–48 (2012)
4. Benzaken, V., Castagna, G., Frisch, A.: CDuce: An XML-centric general-purpose language. In: ICFP, pp. 51–63 (2003)
5. Castagna, G., Nguy
$\widetilde{\widehat{\rm e}}$
, K., Xu, Z., Abate, P.: Polymorphic functions with set-theoretic types. Part 2: Local type inference and type reconstruction. In: POPL, pp. 289–302 (2015)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Backward type inference for XML queries;Theoretical Computer Science;2020-07
2. XQuery and static typing: tackling the problem of backward axes;Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming;2015-08-29