Other _(programming languages) to Review:
<UL>
<li>_("Elegant"|http://www.research.philips.com/generalinfo/special/elegant/elegant.html) [MIA]
<li>Many semi-serious conceptual languages as in _("cat's eye language lab"|http://www.catseye.mb.ca/), _("Esoteric Languages Database"|http://purists.org/esoteric/), _("essies"|http://www.mines.edu/students/b/bolmstea/essies/index.html), <LI>_("Tycoon-2"|http://www.sts.tu-harburg.de/projects/Tycoon2/entry.html)
<LI>_("Esterel"|http://zenon.inria.fr/meije/esterel/): synchronuous language by Gerard Berry
<LI>_("EML Kit 1.0"|http://zls.mimuw.edu.pl/~mikon/EMLKit/main.html):  The EML Kit aims to be (the basis and test-bed for) a comfortable framework for the formal development of programs, using the _("Extended ML"|http://www.dcs.ed.ac.uk/~dts/eml/) language, formalism and methodology.
<LI>_("ML Kit with regions"|http://www.itu.dk/research/mlkit/): ML with memory management made user-accessible
<LI>_("Quest"|http://www.research.digital.com/SRC/org/theory.html) language
<LI>_("Cilk Language from MIT LCS"|http://supertech.lcs.mit.edu/cilk)
<LI>_("Gorby"|http://www.knotwork.com/%28nobg%29/info/comp/freeware/linux/gorby/)
<LI>_("S-Lang"|ftp://space.mit.edu/pub/davis/slang/)
<LI>_("[MIA] xDuel"|http://www.math.tau.ac.il/~frangy) visual tree-based debugging language
<LI>Have a look at the language _("[MIA] Prometheus"|http://www.aard.tracor.com/Jason/Prometheus/)
<LI>_("Object REXX"|http://www2.hursley.ibm.com/orexx/orexx.htm)
<LI>_("ASN.1"|http://www.inria.fr/rodeo/personnel/hoschka/asn1.html)
<LI>_("The SNOBOL and SPITBOL Page"|http://iris1.let.kun.nl/TSpublic/coppen/SNOBOL.html)
<LI>_("FUNLOG++"|http://www.hygiene.uni-wuerzburg.de/promd/FUNLOG++.html)
<LI>Another language used in Ontario is Turing, made by the University of Toronto
<LI>_("PICT 4.0"|http://www.cs.indiana.edu/ftp/pierce/pict/)
<LI>_("Martin Richard"|http://www.cl.cam.ac.uk/users/mr/index.html), inventor of _("BCPL"|http://www.cl.cam.ac.uk/users/mr/BCPL.html); _("BCPL"|http://flnca.homepage.nu)
<li>_("REXX"|http://www2.hursley.ibm.com/rexx/) is a language that has had some success as a scripting language and/or glue for various functionality among OS/2 and Amiga users. The above page is maintained by Mike Cowlishaw, who created the language in the late 1970's. It has many links, i.e. "Rexx Language Association", "Rexx ANSI standard" (X3.274 ANSI, 1996), news, tutorials, third party tools, free and commercial implementations, resources dealing with ObjectRexx and NetRexx, etc. The language uses the classic syntax and semantics of _(Algol)'s family and PL/I, plus some interesting features, such as arbitrary precision platform-independent arithmetics, an original yet unified treatment of arrays and user defined structures, powerful mechanisms to deal with exceptions, and the possibility of dynamically modify the code that is being executed. As _(Perl), is well equiped to deal with strings and text files. Maybe not fit to undertake heavy software projects, but those who used it consider it an interesting language.
<LI>_("Nice"|http://nice.sourceforge.net)
</ul>

<LI>Implementation techniques
<UL>
<LI>_("A Fast, Scalable Mutual Exclusion Algorithm"|http://www.cs.unc.edu/~anderson/papers.html)
<LI>_("Clever compiler"|http://www.ai.mit.edu/projects/transit/tn101/tn101.html)
<LI>_("smallandfastcompiler"|ftp://ftp.inf.ethz.ch/doc/diss/th11024.ps.gz)
<LI>_("Cliff"|http://bellona.cs.rice.edu/MSCP/cliff.html) [_(MIA)] has useful optimizing compiler techniques
</ul>

<li>Language Design discussion:
<ul>
<li>_(http://www.cs.berkeley.edu/~necula/cs263/handouts/hoarehints.pdf)
</ul>
Suggestion: It would be useful to have a category of "scripting languages". _(Perl) and _(PHP) are logical entries, but there are many others than can be included: _(Lisp), _(Scheme), _(Ruby), _(Python), _(Tcl), _(REXX), ... Do the macro programming languages such as M4 (from Unix), Stage2 (from Univ of Colo), etc qualify here?
