Links links


incomplete ofcourse!

Links Itself

Phil Wadler's Homepage:
http://homepages.inf.ed.ac.uk/wadler/

Intro to Links
http://homepages.inf.ed.ac.uk/wadler/papers/links/links-blurb.pdf

Functional Programming on the Web and Continuations

PLT Scheme:

PLT Scheme Homepage
http://www.plt-scheme.org

Graunke, Findler, Krishnamurthi, Felleisen. Modeling Web Interactions, ESOP 2003. http://www.ccs.neu.edu/scheme/pubs/esop2003-gfkf.pdf

Paul Graunke, Shriram Krishnamurthi, Van der Hoeven and Matthias Felleisen. Programming the Web with High-Level Programming Languages. ESOP 2001. http://www.ccs.neu.edu/scheme/pubs/esop2001-gkvf.ps.gz

WASH:

http://www.informatik.uni-freiburg.de/~thiemann/haskell/WASH/

Paper by Thiemann describing WASH:
http://www.informatik.uni-freiburg.de/~thiemann/haskell/WASH/draft.pdf

Natural Expert

Nigel W. O. Hutchison, Ute Neuhaus, Manfred Schmidt-Schau, and Cordelia V. Hall.Natural expert: A commercial functional programming environment.J. of Functional Programming, 7(2):163-182, 1997. No Web address available!

Continuations and the Web

Christian Queinnec. The influence of browsers on evaluators or, continuations to program web servers.ICFP 2000 http://www-spi.lip6.fr/~queinnec/Papers/www.ps.gz

Christian Queinnec.Continuations and Web Servers.Higher-Order and Symbolic Computation 17(4): 277-295 (2004) No Web Address Available

Web Services, Types, and Composition

JWIG and BigWig

JWIG Homepage
http://www.brics.dk/JWIG/

Claus Brabrand,Anders Moeller. Michael I. Schwartzbach. The bigwig Project Transaction on Internet Technology, Vol 2(2), 2002 http://www.brics.dk/~mis/bigwig.pdf

Distributed Programming

Erlang

Erlang Open Source Project http://www.erlang-projects.org

XML Regular Expressions

XDuce

XDuce on Sourceforge
http://xduce.sourceforge.net/

Haruo Hosoya and Benjamin C. Pierce. XDuce: A Statically Typed XML Processing Language.ACM Transactions on Internet Technology, 3(2):117-148, May 2003. http://doi.acm.org/10.1145/767193.767195

CDuce

CDuce Homepage
http://www.cduce.org

V. Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-Centric General-Purpose Language.Proceedings of the ACM International Conference on Functional Programming 2003. http://www.cduce.org/papers/cduce-design.ps.gz

Database Access

Limsoon Wong. Kleisli, a Functional Query System.Journal of Functional Programming 10(1):19--56, January 2000. (Reviewed invited paper.) This paper gives a detailed technical overview of Kleisli. http://sdmc.i2r.a-star.edu.sg/~limsoon/psZ/wls-jfp98-3.ps