Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493370zbMATH OpenFDO

Authors Haruo Hosoya

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Parametric polymorphism for XML
• Regular expression types for XML
• Subtyping algorithm of regular tree grammars with disjoint production rules
• XML with data values: Typechecking revisited.
• scientific article; zbMATH DE number 1954116

Cited in

(12)

• Database Theory - ICDT 2005
• scientific article; zbMATH DE number 1954116 (Why is no real title available?)
• Database Programming Languages
• scientific article; zbMATH DE number 1942450 (Why is no real title available?)
• scientific article; zbMATH DE number 2080481 (Why is no real title available?)
• Subtyping algorithm of regular tree grammars with disjoint production rules
• A typed representation for HTML and XML documents in Haskell
• Generic validation of structural content with parametric modules
• Parametric polymorphism for XML
• Typed iterators for XML
• Type-indexed rows
• CDuce: an XML-centric general-purpose language

This page was built for publication: Programming Languages and Systems

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