Typed iterators for XML

DOI10.1145/1411204.1411210MaRDI QIDQ5178749zbMATH OpenOpenAlexFDO

Authors

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.1411210

zbMATH Keywords

iteratorspolymorphismsubtypingXML

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Programming Languages and Systems
• Parametric polymorphism for XML
• Database Theory - ICDT 2005
• Typechecking for XML transformers
• Frontiers of tractability for typechecking simple XML transformations

Cited in

(1)

• Parametric polymorphism for XML

This page was built for publication: Typed iterators for XML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178749)