Lucid
Intensional Markup
Logic and AI
Grad Students
Wadge Degrees
Getting in Touch
Some pictures I've taken

Lucid is a functional dataflow language that I invented with Ed Ashcroft some time ago. In Lucid variables and expessions denote streams - sequences of data items. Even the input and output are streams, so that a program is a UNIX-style filter.

A sample program.

Lucid has been the subject literally hundreds of articles, theses, dissertations, chapters and even a whole book, some by Ashcroft and myself, mostly by our students and collaborators, and by other researchers independently. Here is the first chapter of the Lucid book. And here is an earlier short paper on the first Lucid interpreter which describes clearly the eduction technique used to implement Lucid (and since adapted to the publish-on-demand software like IHTML and IML).

Lucid and the ideas involved have even turned out to be of some practical use. The French real-time/reactive languages Lustre and Signal are based on early versions of Lucid. Aschroft, Jagannathan and Faustini produced GLU, an industrial Lucid-C hybrid for coarse grain parallelism