A Core Calculus for XQuery 3.0

DOI10.1007/978-3-662-46669-8_10zbMath1335.68026OpenAlexW871316253MaRDI QIDQ2802439

No author found.

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46669-8_10

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (2)

Backward type inference for XML queries ⋮ Unnamed Item

This page was built for publication: A Core Calculus for XQuery 3.0