Michael Hanus. Server side Web scripting in Curry. In Workshop on (Constraint) Logic Programming and Software Engineering (LPSE2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A typed representation for HTML and XML documents in Haskell - Thiemann (2001) (18 citations) (Correct)
....(parameterized types where the type parameter does not appear on the right side of the de nition) 2 The Prelude function map must be quali ed because map is also an HTML tag. 9 3. 1 Types for elements The basic data type for HTML elements de nes just a standard untyped representation (cf. [18, 8, 31]) data ELEMENT = ELEMENT tag : String , attrs : ATTR ] elems : ELEMENT ] EMPTY tag : String , attrs : ATTR ] CDATA String DOCTYPE doctype : String] elems : ELEMENT ] That is, an element consists of a tag of type String, a list of attributes of ....
....because there are fewer type classes to learn and there is no parameterization over constructors. In addition, we can type check the way in which HTML elements (widgets) are put together. There are libraries for CGI programming (a standard interface for generating dynamic documents) by Hanus [8], Hughes [11] and Meijer [18] Meijer s work provides a thin layer of abstraction on top of the raw access to CGI parameters and convenience functions for generating di erent types of output. On top of this basic functionality, Hughes has a more sophisticated method for dealing with ....
Michael Hanus. Server side Web scripting in Curry. In Workshop on (Constraint) Logic Programming and Software Engineering (LPSE2000), London, July 2000.
Markup Languages for Functional-Logic Programming - Boley (2000) (Correct)
....in uenced the Virtual Places technology for the Web [Sha95] http: www.ubique.com ] However, it seems that this non ground message use of logic variables has not yet been fully exploited for Web languages. A more recent application of logic variables has been in server side Web scripting [Han00] R2) The relational essential of don t know non determinism as implemented by backtracking permits high level algorithms in a sequential environment [Kow83] but the ensuing implementation incompleteness [Llo87] becomes problematic when clause de nitions are highly distributed over the Web ....
Michael Hanus. Server Side Web Scripting in Curry. In 9th International Workshop on Functional and Logic Programming, Benicassim, Spain, pages 366-381. UPV University Press, Valencia, publication 2000/2039, September 2000.
The Definition of the NSP Type System - Draheim, Fehr, Weber (2002) (Correct)
No context found.
Michael Hanus. Server side Web scripting in Curry. In Workshop on (Constraint) Logic Programming and Software Engineering (LPSE2000.
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