More Wonderful Links

• Sven Guckes and his wunderbaren collection of webpages provide good advice and information on several very useful programs, and special options for folks not happy with out-of-the-box MSDOS and MS-Windows, too.
• Graham Hutton, the author of the comp.lang.functional FAQ, has written many informative research papers.
• Claus Reinke has a huge collection of links to functional programming websites.
• Jeroen Fokker has written an instructional book and papers, with code in gofer.
• James J. Leifer wrote his third-year project at Oxford on doing formal logic in gofer
• O'Reilly & Associates, Inc., publishes many good books on UNIX, Perl, Linux, networking, and even *gasp* MS-Windows, but none on FP, yet.
• Standard ML of New Jersey can be had from Lucent Technologies's Bell Labs. This is a major distribution of ML (meta-language) that never could run on my 386SL laptop. :-)
• There are some old versions of ML for small computers still around: Micro ML from Umeå University in Sweden [ftp link (see files /uml*/)] and Edinburgh ML from the University of Edinburgh in Scotland [ftp-turned-http link (look under Non-Local_Ports for old MS-DOS ports].
• Some papers and code by Luc Duponcheel and others:
  1. Mark P. Jones and Luc Duponcheel, "Composing Monads", Research Report YALEU/DCS/RR-1004, December 1993. webpage with paper and code in various formats
  2. Luc Duponcheel and Erik Meijer, "On the expressive power of Constructor Classes", September 12, 1995. GlasgowFP94.ps.gz
  3. Luc Duponcheel, "Using catamorphisms, subtypes and monad transformers for writing modular functional interpreters", November 16, 1995. Paper modular.ps.gz and code modular.tgz
  4. Luc Duponcheel and Doaitse Swierstra, "A case study in functional programming: generating efficient functional LR(1) parsers.", November 16, 1995. luc_edu.ps.gz
  5. S. Doaitse Swierstra and Luc Duponcheel, "Deterministic, Error-Correcting Combinator Parsers", 1996. Paper determpaper.ps.gz and code determall.gs.txt. Also available as a PDF file from Prof Dr S.D. Swierstra: http://www.cs.uu.nl/people/doaitse/Papers/1996/LL1.pdf

~
~
:wq