Peter Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(5):435--468, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Extensible Templating Language: An XML-based Restricted.. - Badros (2003) (Correct)
....forgoing the ability to leverage XML based tools for analysis. Additionally, the extra power of Scheme is in direct contradiction of our goal of reducing the expressiveness of the language. A similar approach has been applied by embedding markup in Haskell and Curry, two other functional languages [37, 22, 19]. bigwig is another significant research project [9] that has similar goals. That work adds a first class markup fragment type to a conventional programming language. That system is more aggressive in its verification of the well formedness of markup values: an iterative data flow analysis ....
P. Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(4&5):435--468, July 2002. http://www.informatik.uni-freiburg.de/ thiemann/papers/modeling.ps.gz.
The Duality of XML Markup and Programming Notation - Nørmark (2003) (1 citation) (Correct)
....of programming notations have be proposed during the years, the XML style of markup seems to run counter the succinct notation, preferred by most programmers. The subsumption of XML in existing programming languages is known from several functional and object oriented languages, such as Haskell [19, 13], Scheme [11, 17] and Java [10] New programming languages has also been built for such purposes, such as XDuce [6] CDuce[2] and and to some degree Curl [7] The main attractions of subsuming XML in program notation is the availability of good and well proven abstraction mechanisms in the ....
.... should be revealed side by side with errors caused by violation of programming language rules (syntax errors or type errors) In the area of programming languages with static type checking, several researchers have worked hard to subsume XML validation in the type checking done by the compiler [3, 19, 10]. In general, however, it turns out to be dicult to deal with full XML validation in that way. Using programming languages with run time type checking, special validation code can more easily be provided for. This is the approach we have used for LAML in Scheme, in which there is no static type ....
[Article contains additional citation context not shown here]
Peter Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(5):435-468, July 2002.
The Design Space of Type Checkers for XML Transformation.. - Møller, Schwartzbach (2004) (Correct)
No context found.
Peter Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(5):435--468, 2002.
A Typeful and Tagless Representation for XML Documents - Zhu, Xi (2003) (2 citations) (Correct)
No context found.
P. Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of functional programming, 12((4&5)):435--468, 2002.
UUXML: A Type-Preserving XML Schema-Haskell Data Binding - Atanassow, Clarke, Jeuring (2004) (1 citation) (Correct)
No context found.
Peter Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(4&5):435--468, July 2002.
Generic validation in an XPath-Haskell data binding - Guerra, Jeuring, Swierstra (Correct)
No context found.
P. Thiemann. A typed representation for HTML and XML documents in haskell. Journal of functional programming, 12(5):435--468, 2002.
Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (2 citations) (Correct)
No context found.
Peter Thiemann. A typed representation for HTML and XML documents in haskell. Available from http://citeseer.nj.nec.com/thiemann01typed. html, 2001.
StaXML: Static Typing of XML Document Fragments for.. - Bradley, Kfoury.. (2004) (Correct)
No context found.
P. Thiemann. A typed representation for HTML and XML documents in Haskell. Technical report, Universitat Freiburg, February 2001. Revised version to appear in Journal of Functional Programming.
Domain Specific Languages for Interactive Web Services - Brabrand (2002) (1 citation) (Correct)
No context found.
P. Thiemann. A typed representation for html and xml documents in haskell. Journal of Functional Programming, 12(4&5):435--468, July 2002.
XML Transformations in Scheme with LAML - - Minimalistic Approach Kurt (Correct)
No context found.
Peter Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(5):435-468, July 2002.
Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (2 citations) (Correct)
No context found.
Peter Thiemann. A typed representation for HTML and XML documents in haskell. Available from http://citeseer.nj.nec.com/thiemann01typed.html, 2001.
Inferring Type Isomorphisms Generically - Atanassow, Jeuring (Correct)
No context found.
Peter Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(4&5):435--468, July 2002.
Typing XHTML Web Applications in SMLserver - Elsman, Larsen (2003) (Correct)
No context found.
Peter Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(4&5):435--468, July 2002.
A Typeful and Tagless Representation for Xml Documents - Zhu, Xi (2003) (2 citations) (Correct)
No context found.
P. Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of functional programming, 12((4&5)):435--468, 2002.
StaXML: Static Typing of XML Document Fragments for.. - Bradley, Kfoury.. (2004) (Correct)
No context found.
P. Thiemann. A typed representation for HTML and XML documents in Haskell. Technical report, Universitat Freiburg, February 2001. Revised version to appear in Journal of Functional Programming.
Typing XHTML Web Applications in ML - Elsman, Larsen (2004) (Correct)
No context found.
P. Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(4&5):435--468, July 2002.
The Definition of the NSP Type System - Draheim, Fehr, Weber (2002) (Correct)
No context found.
Peter Thiemann. "A typed representation for HTML and XML documents in Haskell". February 2001.
Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (2 citations) (Correct)
No context found.
Peter Thiemann. A typed representation for HTML and XML documents in haskell. Available from http://citeseer.nj.nec.com/thiemann01typed. html, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC