Erik Meijer, Mark Shields  Home/Search
Context Related
| ogi.edu/~mbs/pub/XMLambda.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ogi.edu/~mbs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: XML has been widely adopted as a standard language for describing static documents and data. However, many application domains require XML, and it's cousin HTML, to be ltered and generated dynamically, and each such domain has adopted a language for the tasks at hand. These languages are often ill-suited, unsafe, and interact poorly with each other. In this paper we present XM, a small functional language which has XML documents as its basic data types. It is expressly designed for the task... (Update)
Cited by: More
A Typeful and Tagless Representation for XML Documents - Zhu, Xi (2003) (Correct)
UUXML: A Type-Preserving XML Schema-Haskell Data Binding - Atanassow, Clarke, Jeuring (2004) (Correct)
Logic Programming Languages for the Internet - Davison (2001) (Correct)
Active bibliography (related documents): More All
0.5: Scripting .NET using Mondrian - Meijer, Perry, van Yzendoorn (2001) (Correct)
0.3: Query Engines for Web-Accessible XML Data - Fegaras, Elmasri (2001) (Correct)
0.3: Modular Mixin-Based Inheritance for Application Frameworks - Duggan, Techaubol (2001) (Correct)
Similar documents based on text: More All
0.1: Unifying Tables, Objects and Documents - Meijer, Schulte (2003) (Correct)
0.1: The Pricing and Hedging of Mortgage-Backed Securities: A.. - Jacob Boudoukh Matthew (Correct)
0.1: Using An Extensible Object-Oriented Query Language In.. - Claes Tisell Kjell (Correct)
Related documents from co-citation: More All
16: Available from httpwww (context) - DeRose, language et al. - 1999
12: XDuce: A Typed XML Processing Language - Hosoya, Pierce - 2000
8: Haskell and XML: Generic Combinators or Type-Based Translation - Wallace, Runciman - 1999
BibTeX entry: (Update)
Erik Meijer and Mark Shields. XMLambda: A functional language for constructing and manipulating XML documents. Available from http://www.cse.ogi.edu/~mbs/, 1999. 11 http://citeseer.ist.psu.edu/meijer00xmlambda.html More
@misc{ meijer99xmlambda,
author = "E. Meijer and M. Shields",
title = "XMLambda: A functional language for constructing and manipulating XML documents",
text = "Erik Meijer and Mark Shields. XMLambda: A functional language for constructing
and manipulating XML documents. Available from http://www.cse.ogi.edu/~mbs/,
1999. 11",
year = "1999",
url = "citeseer.ist.psu.edu/meijer00xmlambda.html" }
Citations (may not include all citations):441 Software Engineering Economics (context) - Boehm - 1981
253 Programming Perl (context) - Wall, Christiansen et al. - 1996
190 How to make adhoc polymorphism less ad hoc - Wadler, Blott - 1989
124 Monads for functional programming - Wadler - 1995
84 The next 700 programming languages (context) - Landin - 1966
63 A new approach to generic functional programming - Hinze - 2000
61 Haskell and xml: Generic combinators or type-based translati.. - Wallace, Runciman - 1999
57 Type inference for records in a natural extension of ML (context) - emy - 1990
53 Multi-stage programming: Axiomatization and type safety - Taha, -A et al. - 1998
42 Document Object Model (context) - Model, Speci et al. - 1998
35 Implicit parameters: Dynamic scoping with static types - Lewis, Meijer et al. - 2000
31 Extensible stylesheet language (context) - language, cation et al. - 1999
29 A polymorphic type system for extensible records and variant.. - Gaster, Jones - 1996
26 A type system for dynamic web documents - Sandholm, Schwartzbach - 2000
23 Mathematical markup language (context) - language, http et al. - 1999
23 Dynamic typing as staged type inference - Shields, Sheard et al. - 1998
19 Cascading Style Sheets (context) - Lie, Bos - 1999
13 Qualied Types: Theory and Practice (context) - Jones - 1994
9 Java server pages specication (context) - Peligr, Cable - 1999
7 Scalable vector graphics (context) - graphics, http et al. - 1999
5 Unambiguous regular expressions and SGML document grammars (context) - Br, Wood - 1992
3 The next 700 markup languages (context) - Wadler - 1999
2 Report on the Language Haskell (context) - Jones, eds - 1999
1 SOAP: Simple object access protocol (context) - Group - 1999
1 Tony - a xml parser and pretty printer (context) - Lindig - 1999
1 Pprinciples of Programming Languages (context) - Tennent - 1981
1 Programming world wide web pages in scheme (context) - rmark
1 Scripting Languages: Automating the Web (context) - Khare - 1997
1 Processing Structured Documents in SML (context) - Neumann - 1999
1 Asp technology feature overview (context) - Wodaski - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.ogi.edu/~mbs/):
Dynamic Typing as Staged Type Inference - Shields, Sheard, Jones (1998) (Correct)
Implicit Parameters: Dynamic Scoping with Static Types - Lewis, Shields, Meijer.. (2000) (Correct)
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