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