Re: succinctness = power

[Shriram Krishnamurthi <address@hidden>]

For those who might care, btw, the PLT group at Brown is building a
type-like--error detection machine for Excel spreadsheets.  We've
implemented it in PLT Scheme using Paul Steckler's excellent COM
support so it can actually talk to Excel spreadsheets.  It's based on
a theory by Erwig and Burnett, but fixes many problems with their work
which appear, at least at first glance, to stem from their not having
an implementation.  It's too early to tell whether the work is truly
practical, but it can find some nice errors in spreadsheet programs.

Shriram