Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68370MaRDI QIDQ5493370FDOQ5493370

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)

Cited In (6)

• Database Theory - ICDT 2005
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A typed representation for HTML and XML documents in Haskell
• Parametric polymorphism for XML

   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. 👍 👎
• Title not available (Why is that?) 👍 👎

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)