Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68370MaRDI QIDQ5493370FDOQ5493370

Authors: Haruo Hosoya 

Publication date: 20 October 2006

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (12)

• Database Theory - ICDT 2005
• Title not available (Why is that?)
• Database Programming Languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)