FLUX

DOI10.1145/1411204.1411209zbMath1323.68101OpenAlexW4252915209MaRDI QIDQ5178748

James Cheney

Publication date: 16 March 2015

Published in: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1411204.1411209

zbMATH Keywords

XMLstatic analysistype systemsupdate languages

Mathematics Subject Classification ID

Database theory (68P15) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

XML data manipulation in conventional and temporal XML databases: a survey

This page was built for publication: FLUX