Parametric polymorphism for XML

DOI10.1145/1040305.1040310MaRDI QIDQ5276134zbMATH OpenOpenAlexFDO

Authors Haruo Hosoya, Alain Frisch, Giuseppe Castagna

Publication date 14 July 2017

Published in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

polymorphismsubtypingtree automataXML

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Aspect-oriented XML
• Programming Languages and Systems
• Parametric Polymorphism — Universally
• Formal parametric polymorphism
• scientific article; zbMATH DE number 512792
• Database Programming Languages
• Typed iterators for XML
• scientific article; zbMATH DE number 742721
• Domain-theoretical models of parametric polymorphism
• Typed parametric polymorphism for aspects

Cited in

(5)

• Generic validation of structural content with parametric modules
• Typed iterators for XML
• Programming Languages and Systems
• scientific article; zbMATH DE number 5662534 (Why is no real title available?)
• Semantic subtyping for the pi-calculus

This page was built for publication: Parametric polymorphism for XML

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