The C32 acronym is just for fun - here's some more: http://www.cs.cmu.edu/~bam/acronyms.html

We continue to do research on constraints in my group, see: http://cjs.from.so/ (but it's in JavaScript - not Lisp). There are many commercial uses of constraints today, such as for graphical layout and "data bindings" (connecting the model and the view) in many toolkits.

Brad Myers, CMU