C[omp]ute

From: "andrew cooke" <andrew@...>

Date: Sat, 17 Jan 2004 12:21:48 -0300 (CLST)

This (very readable - you don't need to be a programmer to understand the
basic ideas) paper - http://citeseer.nj.nec.com/jones00composing.html - is
something of a classic in functional porgramming circles (it's also a
chapter in the excellent "Fun of Programming" -
http://www.palgrave.com/products/catalogue.aspx?is=0333992857)

Olivier Lefevre just posted to lambda, mentioning Lexifi -
http://www.lexifi.com/home.html - which appears to be a commercial
implementation of the same ideas (although in Ocaml, not Haskell).  The
white paper - http://www.lexifi.com/Downloads/MLFiWhitePaper.pdf - seems
to have most information.

Andrew

-- 
personal web site: http://www.acooke.org
personal mail list: http://www.acooke.org/andrew/compute.html

_______________________________________________
compute mailing list
compute@...
https://200.83.153.5/cgi-bin/mailman/listinfo/compute