M. Hanus. High-level server side web scripting in curry. In 3rd Int. Symposium on Practical Aspects of Declarative Languages, PADL'01, pages 76--92, 2001.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....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 ....

M. Hanus. High-level server side web scripting in Curry. In Proceedings of the Third Intl. Symposium on Practical Aspects of Declarative Languages, 2001. http://www.informatik.uni-kiel.de/mh/ publications/papers/PADL01.ps.gz.

....(Hughes also realized that [17] Furthermore, WASH CGI extends the functionality o ered by the arrow CGI library with a novel representation of HTML and typed compositional forms. Also, the callback style of programming advocated here is not encouraged by the arrow library. Hanus s library [14] for server side scripting in the functional logic language Curry comes close to the functionality that we o er. In particular, its design The present implementation does not support this. 39 inspired our investigation of a callback style programming model. While his library uses logical ....

M. Hanus. High-level server side Web scripting in Curry. In Practical Aspects of Declarative Languages, Proceedings of the Third International Workshop, PADL'01, Lecture Notes in Computer Science, Las Vegas, NV, USA, 2001. Springer-Verlag.

....for the de nition of the HTML mirror functions in LAML. Explicitly programmed error checking makes it possible to issue domainspeci c error messages. There is a relatively large body of literature about HTML modelling, type checking, and document validation using functional programming languages [32, 13, 14, 15, 30, 8, 33]. Most of the literature is related to Haskell. The reader should consult [26] for a detailed comparison of LAML with the related work referred above. 4 LAML Document Styles We have used the various HTML libraries as the primitive building blocks to form domain speci c languages, primarily for ....

Michael Hanus. High-level server side web scripting in Curry. In I.V. Ramakrishnan, editor, Practical Aspects of Declarative Languages, LNCS 1990.

....sessions (Hughes also realized that [6] Furthermore, it extends the functionality o ered by the arrow CGI library with a novel representation of HTML and typed compositional forms. Also, the callback style of programming advocated here is not encouraged by the arrow library. Hanus s library [7] for server side scripting in the functional logic language Curry comes close to the functionality that we o er. In particular, its design inspired our investigation of a callback style programming model. While his library uses logical variables to identify input elds in HTML forms, we are able ....

Hanus, M.: High-level server side Web scripting in Curry. In: Practical Aspects of Declarative Languages, Proceedings of the Third International Workshop, PADL'01. Lecture Notes in Computer Science, Las Vegas, NV, USA, SpringerVerlag (2001)

....(Hughes also realized that [10] Furthermore, it extends the functionality o ered by the arrow CGI library with a novel representation of HTML, compositional forms, and graphics. Also, the callback style of programming advocated here is not encouraged by the arrow library. Hanus s library [8] for server side scripting in the functionallogic language Curry comes close to the functionality that we o er. In particular, its design inspired our switching to a callback style programming model. While his library uses logical variables to identify input elds in HTML forms, we are able to ....

Michael Hanus. High-level server side Web scripting in Curry. In Practical Aspects of Declarative Languages, Proceedings of the Third International Workshop, PADL'01, Lecture Notes in Computer Science, Las Vegas, NV, USA, 2001. Springer-Verlag.

No context found.

M. Hanus. High-Level Server Side Web Scripting in Curry. In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), pp. 76-92. Springer LNCS 1990, 2001.

No context found.

M. Hanus. High-level server side web scripting in Curry. In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), pages 76--92. Springer LNCS 1990, 2001.

No context found.

M. Hanus. High-level server side web scripting in Curry. In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), pages 76--92. Springer LNCS 1990, 2001.

....of constraints with synchronization on logical variables, and a unified computation model which integrates narrowing and residuation. Furthermore, Curry is a complete programming language which has been used to implement distributed applications (e.g. Internet servers [14] dynamic web pages [17]) or graphical user interfaces [16] Several efficient implementations of the language already exist (see, e.g. 7, 18, 25] although there is still room for further improvements. Existing compilers for pure functional languages have been successfully improved by semantics based program ....

M. Hanus. High-Level Server Side Web Scripting in Curry. In Proc. of PADL'01, Springer LNCS (to appear), 2001.

....of constraints with synchronization on logical variables, and a uni ed computation model which integrates narrowing and residuation. Furthermore, Curry is a complete programming language which has been used to implement distributed applications (e.g. Internet servers [14] dynamic web pages [17]) or graphical user interfaces [16] Several ecient implementations of the language already exist (see, e.g. 7, 18, 25] although there is still room for further improvements. Existing compilers for pure functional languages have been successfully improved by semantics based program ....

M. Hanus. High-Level Server Side Web Scripting in Curry. In Proc. of PADL'01, Springer LNCS (to appear), 2001.

No context found.

M. Hanus. High-level server side web scripting in curry. In 3rd Int. Symposium on Practical Aspects of Declarative Languages, PADL'01, pages 76--92, 2001.

No context found.

M. Hanus. High-Level Server Side Web Scripting in Curry. In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), pp. 76-92. Springer LNCS 1990, 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