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:
- Mark P. Jones and Luc Duponcheel, "Composing Monads", Research Report
YALEU/DCS/RR-1004, December 1993. webpage with paper and code in various formats
-
Luc Duponcheel and Erik Meijer, "On the expressive power of Constructor
Classes", September 12, 1995. GlasgowFP94.ps.gz
-
Luc Duponcheel, "Using catamorphisms, subtypes and monad transformers for
writing modular functional interpreters", November 16, 1995. Paper modular.ps.gz and code modular.tgz
-
Luc Duponcheel and Doaitse Swierstra, "A case study in functional programming:
generating efficient functional LR(1) parsers.", November 16, 1995.
luc_edu.ps.gz
-
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
Contact:Christopher Milton
~
~
:wq